equal
deleted
inserted
replaced
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
76 |
76 |
77 # Location for temporary files (should be on a local file system). |
77 # Location for temporary files (should be on a local file system). |
78 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
78 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
79 |
79 |
|
80 # Heap locations. |
|
81 ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps" |
|
82 ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps" |
|
83 |
80 # HTML browser info. |
84 # HTML browser info. |
81 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
85 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
|
86 ISABELLE_BROWSER_INFO_SYSTEM="$ISABELLE_HOME/browser_info" |
82 |
87 |
83 # Site settings check -- just to make it a little bit harder to copy this file verbatim! |
88 # Site settings check -- just to make it a little bit harder to copy this file verbatim! |
84 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \ |
89 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \ |
85 { echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; } |
90 { echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; } |
86 ISABELLE_SITE_SETTINGS_PRESENT=true |
91 ISABELLE_SITE_SETTINGS_PRESENT=true |