equal
deleted
inserted
replaced
63 |
63 |
64 # Where to look for isabelle tools (multiple dirs separated by ':'). |
64 # Where to look for isabelle tools (multiple dirs separated by ':'). |
65 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
65 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
66 |
66 |
67 # Location for temporary files (should be on a local file system). |
67 # Location for temporary files (should be on a local file system). |
68 ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" |
68 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
69 |
69 |
70 # Heap input locations. ML system identifier is included in lookup. |
70 # Heap input locations. ML system identifier is included in lookup. |
71 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
71 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
72 |
72 |
73 # Heap output location. ML system identifier is appended automatically later on. |
73 # Heap output location. ML system identifier is appended automatically later on. |