equal
deleted
inserted
replaced
17 |
17 |
18 # Heap input locations. ML system identifier is included in lookup. |
18 # Heap input locations. ML system identifier is included in lookup. |
19 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
19 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
20 |
20 |
21 # Heap output location. ML system identifier is appended automatically later on. |
21 # Heap output location. ML system identifier is appended automatically later on. |
22 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then |
22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
23 #Isabelle build tells us to store heaps etc. within the distribution. |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
|
25 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
|
26 else |
|
27 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
|
28 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
|
29 fi |
|
30 |
24 |
31 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true" |
25 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true" |
32 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
26 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
33 |
27 |
34 HOL_USEDIR_OPTIONS="-p 2" |
28 HOL_USEDIR_OPTIONS="-p 2" |