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