equal
deleted
inserted
replaced
21 |
21 |
22 # Heap output location. ML system identifier is appended automatically later on. |
22 # Heap output location. ML system identifier is appended automatically later on. |
23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
25 |
25 |
26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2" |
|
27 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2" |
26 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2" |
28 |
27 |
29 ISABELLE_FULL_TEST=true |
28 ISABELLE_FULL_TEST=true |
30 |
29 |
31 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |
30 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |