author | paulson |
Fri, 22 Apr 2005 17:32:46 +0200 | |
changeset 15817 | f79b673da664 |
parent 15574 | b1d1b5bfc464 |
child 15847 | c05c7670f166 |
permissions | -rwxr-xr-x |
10555 | 1 |
#!/usr/bin/env bash |
4268 | 2 |
# |
3 |
# $Id$ |
|
9788 | 4 |
# Author: Markus Wenzel, TU Muenchen |
4268 | 5 |
# |
6 |
# DESCRIPTION: fix references to obsolete Pure/Sequence structure |
|
7 |
||
8 |
||
9 |
## diagnostics |
|
10 |
||
10511 | 11 |
PRG="$(basename "$0")" |
4268 | 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 " the obsolete Pure/Sequence structure." |
|
20 |
echo |
|
21 |
echo " Renames old versions of FILES by appending \"~~\"." |
|
22 |
echo |
|
23 |
exit 1 |
|
24 |
} |
|
25 |
||
26 |
||
27 |
## process command line |
|
28 |
||
9788 | 29 |
[ "$#" -eq 0 -o "$1" = "-?" ] && usage |
4268 | 30 |
|
9788 | 31 |
SPECS="$@"; shift "$#" |
4268 | 32 |
|
33 |
||
34 |
## main |
|
35 |
||
6082 | 36 |
#set by configure |
15574
b1d1b5bfc464
Removed practically all references to Library.foldr.
skalberg
parents:
14981
diff
changeset
|
37 |
AUTO_PERL=/usr/bin/perl |
6082 | 38 |
|
9788 | 39 |
find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixseq.pl" |