bin/isabelle
changeset 2968 8ba30b031f31
parent 2936 bd33e7aae062
child 3007 e5efa177ee0c
     1.1 --- a/bin/isabelle	Wed Apr 16 18:53:36 1997 +0200
     1.2 +++ b/bin/isabelle	Thu Apr 17 10:30:57 1997 +0200
     1.3 @@ -129,8 +129,8 @@
     1.4      INFILE=""
     1.5      for DIR in $(echo $ISABELLE_PATH | tr : " ")
     1.6      do
     1.7 -      ISA_PATH="$ISA_PATH $DIR/$ML_SYSTEM-$PLATFORM"
     1.8 -      [ -z "$INFILE" -a -f $DIR/$ML_SYSTEM-$PLATFORM/$INPUT ] && INFILE=$DIR/$ML_SYSTEM-$PLATFORM/$INPUT
     1.9 +      ISA_PATH="$ISA_PATH $DIR"
    1.10 +      [ -z "$INFILE" -a -f $DIR/$INPUT ] && INFILE=$DIR/$INPUT
    1.11      done
    1.12      if [ -z "$INFILE" ]; then
    1.13        echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2
    1.14 @@ -154,9 +154,8 @@
    1.15      OUTFILE="$OUTPUT"
    1.16      ;;
    1.17    *)
    1.18 -    OUTDIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
    1.19 -    mkdir -p "$OUTDIR"
    1.20 -    OUTFILE="$OUTDIR/$OUTPUT"
    1.21 +    mkdir -p "$ISABELLE_OUTPUT_DIR"
    1.22 +    OUTFILE="$ISABELLE_OUTPUT_DIR/$OUTPUT"
    1.23      ;;
    1.24  esac
    1.25