equal
deleted
inserted
replaced
127 *) |
127 *) |
128 ISA_PATH="" |
128 ISA_PATH="" |
129 INFILE="" |
129 INFILE="" |
130 for DIR in $(echo $ISABELLE_PATH | tr : " ") |
130 for DIR in $(echo $ISABELLE_PATH | tr : " ") |
131 do |
131 do |
132 ISA_PATH="$ISA_PATH $DIR/$ML_SYSTEM-$PLATFORM" |
132 ISA_PATH="$ISA_PATH $DIR" |
133 [ -z "$INFILE" -a -f $DIR/$ML_SYSTEM-$PLATFORM/$INPUT ] && INFILE=$DIR/$ML_SYSTEM-$PLATFORM/$INPUT |
133 [ -z "$INFILE" -a -f $DIR/$INPUT ] && INFILE=$DIR/$INPUT |
134 done |
134 done |
135 if [ -z "$INFILE" ]; then |
135 if [ -z "$INFILE" ]; then |
136 echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2 |
136 echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2 |
137 for DIR in $ISA_PATH |
137 for DIR in $ISA_PATH |
138 do |
138 do |
152 ;; |
152 ;; |
153 */*) |
153 */*) |
154 OUTFILE="$OUTPUT" |
154 OUTFILE="$OUTPUT" |
155 ;; |
155 ;; |
156 *) |
156 *) |
157 OUTDIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM" |
157 mkdir -p "$ISABELLE_OUTPUT_DIR" |
158 mkdir -p "$OUTDIR" |
158 OUTFILE="$ISABELLE_OUTPUT_DIR/$OUTPUT" |
159 OUTFILE="$OUTDIR/$OUTPUT" |
|
160 ;; |
159 ;; |
161 esac |
160 esac |
162 |
161 |
163 |
162 |
164 ## run it! |
163 ## run it! |