Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
restored AUTO_BASH/PERL -- beware of ./configure!
authorwenzelm
Tue, 26 Apr 2005 19:50:57 +0200
changeset 15847 c05c7670f166
parent 15846 6f24b0c36dbd
child 15848 3001067227af
restored AUTO_BASH/PERL -- beware of ./configure!
lib/Tools/convert file | annotate | diff | comparison | revisions
lib/Tools/dimacs2hol file | annotate | diff | comparison | revisions
lib/Tools/expandshort file | annotate | diff | comparison | revisions
lib/Tools/fixclasimp file | annotate | diff | comparison | revisions
lib/Tools/fixcpure file | annotate | diff | comparison | revisions
lib/Tools/fixdatatype file | annotate | diff | comparison | revisions
lib/Tools/fixdots file | annotate | diff | comparison | revisions
lib/Tools/fixgoal file | annotate | diff | comparison | revisions
lib/Tools/fixgreek file | annotate | diff | comparison | revisions
lib/Tools/fixseq file | annotate | diff | comparison | revisions
lib/Tools/fixsome file | annotate | diff | comparison | revisions
lib/Tools/latex file | annotate | diff | comparison | revisions
lib/Tools/logo file | annotate | diff | comparison | revisions
lib/Tools/mkdir file | annotate | diff | comparison | revisions
lib/Tools/unsymbolize file | annotate | diff | comparison | revisions
lib/scripts/feeder file | annotate | diff | comparison | revisions 
--- a/lib/Tools/convert	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/convert	Tue Apr 26 19:50:57 2005 +0200
@@ -36,7 +36,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.ML \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/convert.pl"
--- a/lib/Tools/dimacs2hol	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/dimacs2hol	Tue Apr 26 19:50:57 2005 +0200
@@ -46,6 +46,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/dimacs2hol.pl" "$@"
--- a/lib/Tools/expandshort	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/expandshort	Tue Apr 26 19:50:57 2005 +0200
@@ -34,6 +34,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/expandshort.pl"
--- a/lib/Tools/fixclasimp	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixclasimp	Tue Apr 26 19:50:57 2005 +0200
@@ -34,6 +34,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixclasimp.pl"
--- a/lib/Tools/fixcpure	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixcpure	Tue Apr 26 19:50:57 2005 +0200
@@ -34,7 +34,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixcpure.pl"
--- a/lib/Tools/fixdatatype	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixdatatype	Tue Apr 26 19:50:57 2005 +0200
@@ -34,7 +34,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixdatatype.pl"
--- a/lib/Tools/fixdots	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixdots	Tue Apr 26 19:50:57 2005 +0200
@@ -34,7 +34,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixdots.pl"
--- a/lib/Tools/fixgoal	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixgoal	Tue Apr 26 19:50:57 2005 +0200
@@ -34,6 +34,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixgoal.pl"
--- a/lib/Tools/fixgreek	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixgreek	Tue Apr 26 19:50:57 2005 +0200
@@ -35,7 +35,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS -name \*.thy -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixgreek.pl"
 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixgreek.pl"
--- a/lib/Tools/fixseq	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixseq	Tue Apr 26 19:50:57 2005 +0200
@@ -34,6 +34,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixseq.pl"
--- a/lib/Tools/fixsome	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/fixsome	Tue Apr 26 19:50:57 2005 +0200
@@ -34,7 +34,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixsome.pl"
--- a/lib/Tools/latex	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/latex	Tue Apr 26 19:50:57 2005 +0200
@@ -73,7 +73,7 @@
 # operations
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
 function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
--- a/lib/Tools/logo	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/logo	Tue Apr 26 19:50:57 2005 +0200
@@ -71,7 +71,7 @@
 fi
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 if [ "$OUTFILE" = "-" ]; then
   "$AUTO_PERL" -p -e "s/<any>/$NAME/" "$ISABELLE_HOME/lib/logo/isabelle_any.eps"
--- a/lib/Tools/mkdir	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/mkdir	Tue Apr 26 19:50:57 2005 +0200
@@ -199,7 +199,7 @@
 # document directory
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 if [ -e document ]; then
   echo "keeping $PREFIX/document" >&2
--- a/lib/Tools/unsymbolize	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/unsymbolize	Tue Apr 26 19:50:57 2005 +0200
@@ -35,7 +35,7 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \
   xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl"
--- a/lib/scripts/feeder	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/scripts/feeder	Tue Apr 26 19:50:57 2005 +0200
@@ -76,6 +76,6 @@
 ## main
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 exec "$AUTO_PERL" -w "$DIR"/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$TAIL"
isabelle