configure AUTO_BASH, AUTO_PERL;
authorwenzelm
Tue Jan 12 12:17:53 1999 +0100 (1999-01-12)
changeset 6082590f9e3bf4d8
parent 6081 aa97eb904692
child 6083 ede76e7af057
configure AUTO_BASH, AUTO_PERL;
lib/Tools/expandshort
lib/Tools/fixclasimp
lib/Tools/fixdatatype
lib/Tools/fixdots
lib/Tools/fixgoal
lib/Tools/fixseq
lib/Tools/install
lib/Tools/logo
lib/Tools/nonascii
lib/Tools/symbolinput
lib/scripts/feeder
lib/scripts/patch-scripts.bash
     1.1 --- a/lib/Tools/expandshort	Mon Jan 11 18:45:46 1999 +0100
     1.2 +++ b/lib/Tools/expandshort	Tue Jan 12 12:17:53 1999 +0100
     1.3 @@ -32,4 +32,7 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/expandshort.pl
     1.8 +#set by configure
     1.9 +AUTO_PERL=perl
    1.10 +
    1.11 +find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/expandshort.pl
     2.1 --- a/lib/Tools/fixclasimp	Mon Jan 11 18:45:46 1999 +0100
     2.2 +++ b/lib/Tools/fixclasimp	Tue Jan 12 12:17:53 1999 +0100
     2.3 @@ -32,4 +32,7 @@
     2.4  
     2.5  ## main
     2.6  
     2.7 -find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/fixclasimp.pl
     2.8 +#set by configure
     2.9 +AUTO_PERL=perl
    2.10 +
    2.11 +find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixclasimp.pl
     3.1 --- a/lib/Tools/fixdatatype	Mon Jan 11 18:45:46 1999 +0100
     3.2 +++ b/lib/Tools/fixdatatype	Tue Jan 12 12:17:53 1999 +0100
     3.3 @@ -32,5 +32,8 @@
     3.4  
     3.5  ## main
     3.6  
     3.7 +#set by configure
     3.8 +AUTO_PERL=perl
     3.9 +
    3.10  find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
    3.11 -  xargs perl -w $ISABELLE_HOME/lib/scripts/fixdatatype.pl
    3.12 +  xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixdatatype.pl
     4.1 --- a/lib/Tools/fixdots	Mon Jan 11 18:45:46 1999 +0100
     4.2 +++ b/lib/Tools/fixdots	Tue Jan 12 12:17:53 1999 +0100
     4.3 @@ -32,5 +32,8 @@
     4.4  
     4.5  ## main
     4.6  
     4.7 +#set by configure
     4.8 +AUTO_PERL=perl
     4.9 +
    4.10  find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
    4.11 -  xargs perl -w $ISABELLE_HOME/lib/scripts/fixdots.pl
    4.12 +  xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixdots.pl
     5.1 --- a/lib/Tools/fixgoal	Mon Jan 11 18:45:46 1999 +0100
     5.2 +++ b/lib/Tools/fixgoal	Tue Jan 12 12:17:53 1999 +0100
     5.3 @@ -32,4 +32,7 @@
     5.4  
     5.5  ## main
     5.6  
     5.7 -find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/fixgoal.pl
     5.8 +#set by configure
     5.9 +AUTO_PERL=perl
    5.10 +
    5.11 +find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixgoal.pl
     6.1 --- a/lib/Tools/fixseq	Mon Jan 11 18:45:46 1999 +0100
     6.2 +++ b/lib/Tools/fixseq	Tue Jan 12 12:17:53 1999 +0100
     6.3 @@ -32,4 +32,7 @@
     6.4  
     6.5  ## main
     6.6  
     6.7 -find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/fixseq.pl
     6.8 +#set by configure
     6.9 +AUTO_PERL=perl
    6.10 +
    6.11 +find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixseq.pl
     7.1 --- a/lib/Tools/install	Mon Jan 11 18:45:46 1999 +0100
     7.2 +++ b/lib/Tools/install	Tue Jan 12 12:17:53 1999 +0100
     7.3 @@ -61,8 +61,8 @@
     7.4  
     7.5  mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR"
     7.6  
     7.7 -BASH=$(type -path bash)
     7.8 -[ -z "$BASH" ] && fail "Cannot find bash!"
     7.9 +#set by configure
    7.10 +AUTO_BASH=/bin/bash
    7.11  
    7.12  echo "using $DISTDIR"
    7.13  
    7.14 @@ -71,7 +71,7 @@
    7.15    BIN="$BINDIR/$NAME"
    7.16    DIST="$DISTDIR/bin/$NAME"
    7.17    echo "installing $BIN"
    7.18 -  echo "#!$BASH" >$BIN || fail "Cannot write file: $BIN"
    7.19 +  echo "#!$AUTO_BASH" >$BIN || fail "Cannot write file: $BIN"
    7.20    echo >>$BIN
    7.21    echo "exec $DIST \"\$@\"" >>$BIN
    7.22    chmod +x $BIN
     8.1 --- a/lib/Tools/logo	Mon Jan 11 18:45:46 1999 +0100
     8.2 +++ b/lib/Tools/logo	Tue Jan 12 12:17:53 1999 +0100
     8.3 @@ -69,9 +69,12 @@
     8.4    OUTFILE="isabelle${OUTFILE}.eps"
     8.5  fi
     8.6  
     8.7 +#set by configure
     8.8 +AUTO_PERL=perl
     8.9 +
    8.10  if [ "$OUTFILE" = "-" ]; then
    8.11 -  perl -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps
    8.12 +  $AUTO_PERL -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps
    8.13  else
    8.14    [ -z "$QUIET" ] && echo "$OUTFILE" >&2
    8.15 -  perl -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps > $OUTFILE
    8.16 +  $AUTO_PERL -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps > $OUTFILE
    8.17  fi
     9.1 --- a/lib/Tools/nonascii	Mon Jan 11 18:45:46 1999 +0100
     9.2 +++ b/lib/Tools/nonascii	Tue Jan 12 12:17:53 1999 +0100
     9.3 @@ -29,6 +29,9 @@
     9.4  
     9.5  ## main
     9.6  
     9.7 +#set by configure
     9.8 +AUTO_PERL=perl
     9.9 +
    9.10  find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \
    9.11 -  xargs perl -w -e \
    9.12 +  xargs $AUTO_PERL -w -e \
    9.13      'while(<ARGV>) { if (m/[\x80-\xff]/) { print "$ARGV: $_"; }}'
    10.1 --- a/lib/Tools/symbolinput	Mon Jan 11 18:45:46 1999 +0100
    10.2 +++ b/lib/Tools/symbolinput	Tue Jan 12 12:17:53 1999 +0100
    10.3 @@ -4,4 +4,7 @@
    10.4  #
    10.5  # DESCRIPTION: translate symbols into \<...> sequences
    10.6  
    10.7 -exec perl -w $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@"
    10.8 +#set by configure
    10.9 +AUTO_PERL=perl
   10.10 +
   10.11 +exec $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@"
    11.1 --- a/lib/scripts/feeder	Mon Jan 11 18:45:46 1999 +0100
    11.2 +++ b/lib/scripts/feeder	Tue Jan 12 12:17:53 1999 +0100
    11.3 @@ -79,4 +79,7 @@
    11.4  
    11.5  ## main
    11.6  
    11.7 -exec perl -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL"
    11.8 +#set by configure
    11.9 +AUTO_PERL=perl
   11.10 +
   11.11 +exec $AUTO_PERL -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL"
    12.1 --- a/lib/scripts/patch-scripts.bash	Mon Jan 11 18:45:46 1999 +0100
    12.2 +++ b/lib/scripts/patch-scripts.bash	Tue Jan 12 12:17:53 1999 +0100
    12.3 @@ -38,7 +38,9 @@
    12.4  for FILE in $(find . -type f -print)
    12.5  do
    12.6    if [ -x "$FILE" ]; then
    12.7 -    sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" $FILE >$FILE~~
    12.8 +    sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" \
    12.9 +      -e "s:^AUTO_BASH=.*/bash:AUTO_BASH=$BASH:" \
   12.10 +      -e "s:^AUTO_PERL=.*/bash:AUTO_PERL=$PERL:" $FILE >$FILE~~
   12.11      if cmp -s $FILE $FILE~~; then
   12.12        rm $FILE~~
   12.13      else