equal
deleted
inserted
replaced
54 |
54 |
55 # Where to look for isabelle tools. |
55 # Where to look for isabelle tools. |
56 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
56 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
57 |
57 |
58 |
58 |
59 # Heap file locations. |
59 # Heap file locations. ML system identifier appended automatically! |
60 |
60 |
61 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM |
61 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
62 |
62 |
63 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then |
63 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then |
64 ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM |
64 ISABELLE_OUTPUT=$ISABELLE_HOME/heaps |
65 else |
65 else |
66 ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM |
66 ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps |
67 fi |
67 fi |
|
68 |
68 |
69 |
69 DEFAULT_LOGIC=HOL |
70 DEFAULT_LOGIC=HOL |
70 |
71 |
71 |
72 |
72 ## Docs |
73 ## Docs |