lib/Tools/fixclasimp
author kleing
Mon Jun 21 10:25:57 2004 +0200 (2004-06-21)
changeset 14981 e73f8140af78
parent 10555 2323ec838401
child 15574 b1d1b5bfc464
permissions -rwxr-xr-x
Merged in license change from Isabelle2004
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 #
     6 # DESCRIPTION: fix references to implicit claset and simpset
     7 
     8 
     9 ## diagnostics
    10 
    11 PRG="$(basename "$0")"
    12 
    13 function usage()
    14 {
    15   echo
    16   echo "Usage: $PRG [FILES|DIRS...]"
    17   echo
    18   echo "  Recursively find .ML files, fixing references to"
    19   echo "  implicit claset and simpset."
    20   echo
    21   echo "  Renames old versions of FILES by appending \"~~\"."
    22   echo
    23   exit 1
    24 }
    25 
    26 
    27 ## process command line
    28 
    29 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
    30 
    31 SPECS="$@"; shift "$#"
    32 
    33 
    34 ## main
    35 
    36 #set by configure
    37 AUTO_PERL=perl
    38 
    39 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixclasimp.pl"