equal
deleted
inserted
replaced
225 LOG="$LOGDIR/$ITEM" |
225 LOG="$LOGDIR/$ITEM" |
226 |
226 |
227 OPT_C="" |
227 OPT_C="" |
228 [ "$COMPRESS" = true ] && OPT_C="-c" |
228 [ "$COMPRESS" = true ] && OPT_C="-c" |
229 |
229 |
230 "$ISABELLE" \ |
230 "$ISABELLE_PROCESS" \ |
231 -e "Session.use_dir \"$ROOT_FILE\" true [$MODES] $RESET $INFO \"$DOC\" $DOCUMENT_GRAPH [$DOCUMENT_VERSIONS] \"$PARENT\" \"$SESSION\" ($COPY_DUMP, \"$DUMP\") \"$RPATH\" $PROOFS $VERBOSE $MAXTHREADS $TRACETHREADS;" \ |
231 -e "Session.use_dir \"$ROOT_FILE\" true [$MODES] $RESET $INFO \"$DOC\" $DOCUMENT_GRAPH [$DOCUMENT_VERSIONS] \"$PARENT\" \"$SESSION\" ($COPY_DUMP, \"$DUMP\") \"$RPATH\" $PROOFS $VERBOSE $MAXTHREADS $TRACETHREADS;" \ |
232 $OPT_C -q -w $LOGIC $NAME > "$LOG" |
232 $OPT_C -q -w $LOGIC $NAME > "$LOG" |
233 RC="$?" |
233 RC="$?" |
234 else |
234 else |
235 ITEM=$(basename "$LOGIC")-"$SESSION" |
235 ITEM=$(basename "$LOGIC")-"$SESSION" |
236 echo "Running $ITEM ..." >&2 |
236 echo "Running $ITEM ..." >&2 |
237 LOG="$LOGDIR/$ITEM" |
237 LOG="$LOGDIR/$ITEM" |
238 |
238 |
239 "$ISABELLE" \ |
239 "$ISABELLE_PROCESS" \ |
240 -e "Session.use_dir \"$ROOT_FILE\" false [$MODES] $RESET $INFO \"$DOC\" $DOCUMENT_GRAPH [$DOCUMENT_VERSIONS] \"$PARENT\" \"$SESSION\" ($COPY_DUMP, \"$DUMP\") \"$RPATH\" $PROOFS $VERBOSE $MAXTHREADS $TRACETHREADS; quit();" \ |
240 -e "Session.use_dir \"$ROOT_FILE\" false [$MODES] $RESET $INFO \"$DOC\" $DOCUMENT_GRAPH [$DOCUMENT_VERSIONS] \"$PARENT\" \"$SESSION\" ($COPY_DUMP, \"$DUMP\") \"$RPATH\" $PROOFS $VERBOSE $MAXTHREADS $TRACETHREADS; quit();" \ |
241 -r -q "$LOGIC" > "$LOG" |
241 -r -q "$LOGIC" > "$LOG" |
242 RC="$?" |
242 RC="$?" |
243 cd .. |
243 cd .. |
244 fi |
244 fi |