--- a/Admin/isatest/isatest-lint Fri Dec 03 10:43:09 2010 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,40 +0,0 @@
-#!/usr/bin/env perl
-#
-# Author: Florian Haftmann, TUM
-#
-# Do consistency and quality checks on the isabelle sources
-#
-
-use strict;
-use File::Find;
-use File::Basename;
-
-# configuration
-my $isabelleRoot = $ENV{'HOME'} . "/isabelle";
-my @suffices = ('\.thy', '\.ml', '\.ML');
-
-# lint main procedure
-sub lint() {
- my ($basename, $dirname, $ext) = fileparse($File::Find::name, @suffices);
- if ($ext) {
- open ISTREAM, $File::Find::name or die("error opening $File::Find::name");
- my $found = 0;
- while (<ISTREAM>) {
- $found ||= m/\$Id[^\$]*\$/;
- last if $found;
- }
- close ISTREAM;
- my $relname = substr($File::Find::name, (length $isabelleRoot) + 1);
- if (! $found) {
- print "Found no CVS id in $relname\n";
- }
- }
-}
-
-# first argument =^= isabelle repository root
-if (@ARGV) {
- $isabelleRoot = $ARGV[0];
-}
-
-find(\&lint, $isabelleRoot);
-