equal
deleted
inserted
replaced
54 |
54 |
55 #main executables |
55 #main executables |
56 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" |
56 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" |
57 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process" |
57 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process" |
58 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script" |
58 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script" |
|
59 PATH="$ISABELLE_HOME/bin:$PATH" |
59 |
60 |
60 #platform |
61 #platform |
61 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
62 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
62 if [ -z "$ISABELLE_PLATFORM" ]; then |
63 if [ -z "$ISABELLE_PLATFORM" ]; then |
63 echo 1>&2 "Failed to determine hardware and operating system type!" |
64 echo 1>&2 "Failed to determine hardware and operating system type!" |