added isatest-lint prototype
authorhaftmann
Tue Jun 07 09:11:27 2005 +0200 (2005-06-07)
changeset 1630939c793a9b382
parent 16308 636a1a84977a
child 16310 2115e519e456
added isatest-lint prototype
Admin/isatest-lint
Admin/website/dist/installation.html
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/isatest-lint	Tue Jun 07 09:11:27 2005 +0200
     1.3 @@ -0,0 +1,41 @@
     1.4 +#!/usr/bin/env perl
     1.5 +#
     1.6 +# $Id$
     1.7 +# Author: Florian Haftmann, TUM
     1.8 +#
     1.9 +# Do consistency and quality checks on the isabelle sources
    1.10 +#
    1.11 +
    1.12 +use strict;
    1.13 +use File::Find;
    1.14 +use File::Basename;
    1.15 +
    1.16 +# configuration
    1.17 +my $isabelleRoot = $ENV{'HOME'} . "/isabelle";
    1.18 +my @suffices = ('\.thy', '\.ml', '\.ML');
    1.19 +
    1.20 +# lint main procedure
    1.21 +sub lint() {
    1.22 +    my ($basename, $dirname, $ext) = fileparse($File::Find::name, @suffices);
    1.23 +    if ($ext) {
    1.24 +        open ISTREAM, $File::Find::name or die("error opening $File::Find::name");
    1.25 +        my $found = 0;
    1.26 +        while (<ISTREAM>) {
    1.27 +            $found ||= m/\$Id[^\$]*\$/;
    1.28 +            last if $found;
    1.29 +        }
    1.30 +        close ISTREAM;
    1.31 +        my $relname = substr($File::Find::name, (length $isabelleRoot) + 1);
    1.32 +        if (! $found) {
    1.33 +            print "Found no CVS id in $relname\n";
    1.34 +        }
    1.35 +    }
    1.36 +}
    1.37 +
    1.38 +# first argument =^= isabelle repository root
    1.39 +if (@ARGV) {
    1.40 +    $isabelleRoot = $ARGV[0];
    1.41 +}
    1.42 +
    1.43 +find(\&lint, $isabelleRoot);
    1.44 +
     2.1 --- a/Admin/website/dist/installation.html	Tue Jun 07 06:39:39 2005 +0200
     2.2 +++ b/Admin/website/dist/installation.html	Tue Jun 07 09:11:27 2005 +0200
     2.3 @@ -137,7 +137,7 @@
     2.4  
     2.5          <p>For more information, see the file <a href="//dist/packages/Isabelle/INSTALL">INSTALL</a>.</p>
     2.6  
     2.7 -      <h2 id="install_darwin">MaxOS / Darwin</h2>
     2.8 +      <h2 id="install_darwin">MaxOS X / Darwin</h2>
     2.9  
    2.10          <p>Before you start, ensure the following for your system:</p>
    2.11          <ul>