Searched refs:ISABELLE_BIN_PATH (Results 1 - 2 of 2) sorted by relevance

/hets/Isabelle/export/
H A Dtest_parser.sh3 # ISABELLE_BIN_PATH (if isabelle is not located in PATH)
38 if [ ! -z $ISABELLE_BIN_PATH ]; then
39 ISABELLE="$ISABELLE_BIN_PATH/isabelle"
41 echo "Cannot find isabelle executable. Maybe you didn't specify ISABELLE_BIN_PATH correctly?"
48 echo "Cannot find isabelle executable. Maybe you need to specify ISABELLE_BIN_PATH?"
H A Dexport.sh3 # ISABELLE_BIN_PATH (if isabelle is not located in PATH)
50 if [ ! -z $ISABELLE_BIN_PATH ]; then
51 ISABELLE="$ISABELLE_BIN_PATH/isabelle"
53 echo "v0:Cannot find isabelle executable. Maybe you didn't specify ISABELLE_BIN_PATH correctly?" > $COMM_FILE
60 echo "v0:Cannot find isabelle executable. Maybe you need to specify ISABELLE_BIN_PATH?" > $COMM_FILE

Completed in 65 milliseconds