bin/isabelle
changeset 4333 1d326b826851
parent 3502 ec22ba0a26ec
child 4355 68c7c544570c
     1.1 --- a/bin/isabelle	Mon Dec 01 14:42:30 1997 +0100
     1.2 +++ b/bin/isabelle	Mon Dec 01 18:22:02 1997 +0100
     1.3 @@ -155,12 +155,28 @@
     1.4  esac
     1.5  
     1.6  
     1.7 +## prepare tmp directory
     1.8 +
     1.9 +[ -z "$ISABELLE_TMP_PREFIX" ] && ISABELLE_TMP_PREFIX=/tmp/isabelle
    1.10 +
    1.11 +ISABELLE_TMP="$ISABELLE_TMP_PREFIX$$"
    1.12 +mkdir -p "$ISABELLE_TMP"
    1.13 +
    1.14 +
    1.15  ## run it!
    1.16  
    1.17  ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
    1.18  
    1.19  [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
    1.20  
    1.21 -export INFILE OUTFILE MLTEXT TERMINATE NOWRITE
    1.22 -[ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ] && exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM
    1.23 -exec $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE
    1.24 +export INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.25 +
    1.26 +if [ -f $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM ]; then
    1.27 +  $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM
    1.28 +else
    1.29 +  $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE
    1.30 +fi
    1.31 +
    1.32 +
    1.33 +#Do not even think of 'rm -r'!!
    1.34 +rmdir $ISABELLE_TMP