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 pdf -v true -M 20" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20" |
32 |
26 |
33 HOL_USEDIR_OPTIONS="-p 2" |
27 HOL_USEDIR_OPTIONS="-p 2" |