author | wenzelm |
Wed, 19 Aug 2015 21:51:30 +0200 | |
changeset 60979 | fb3a641bc914 |
parent 60194 | fd2208491d59 |
child 62288 | 8bbbe07cd0ee |
permissions | -rw-r--r-- |
31581 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
49345
f182f7fa158f
more standard init_components -- particularly important to pick up correct jdk/scala version;
wenzelm
parents:
48729
diff
changeset
|
3 |
init_components /home/isabelle/contrib "$HOME/admin/components/main" |
f182f7fa158f
more standard init_components -- particularly important to pick up correct jdk/scala version;
wenzelm
parents:
48729
diff
changeset
|
4 |
|
60194
fd2208491d59
clarified settings for default Poly/ML version: test the actual Isabelle component;
wenzelm
parents:
59993
diff
changeset
|
5 |
ML_PLATFORM="$ISABELLE_PLATFORM32" |
fd2208491d59
clarified settings for default Poly/ML version: test the actual Isabelle component;
wenzelm
parents:
59993
diff
changeset
|
6 |
ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
fd2208491d59
clarified settings for default Poly/ML version: test the actual Isabelle component;
wenzelm
parents:
59993
diff
changeset
|
7 |
ML_OPTIONS="-H 500 --gcthreads 8" |
31581 | 8 |
|
31584 | 9 |
ISABELLE_HOME_USER=~/isabelle-mac-poly-M8 |
31581 | 10 |
|
11 |
# Where to look for isabelle tools (multiple dirs separated by ':'). |
|
12 |
ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
|
13 |
||
14 |
# Location for temporary files (should be on a local file system). |
|
15 |
ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" |
|
16 |
||
17 |
||
18 |
# Heap input locations. ML system identifier is included in lookup. |
|
19 |
ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
|
20 |
||
21 |
# Heap output location. ML system identifier is appended automatically later on. |
|
22 |
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
|
23 |
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
|
24 |
||
50871
2ea3c90ff0bb
more exhaustive full test, to avoid surprises with makedist_library;
wenzelm
parents:
50681
diff
changeset
|
25 |
ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=8 parallel_proofs=2" |
31581 | 26 |
|
50285
f25bcb8a4591
prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark);
wenzelm
parents:
49405
diff
changeset
|
27 |
ISABELLE_FULL_TEST=true |
f25bcb8a4591
prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark);
wenzelm
parents:
49405
diff
changeset
|
28 |
|
58415 | 29 |
ISABELLE_GHC=ghc |
30 |
ISABELLE_MLTON=mlton |
|
31 |
ISABELLE_OCAML=ocaml |
|
32 |
ISABELLE_OCAMLC=ocamlc |
|
33 |
ISABELLE_POLYML="$ML_HOME/poly" |
|
34 |
#ISABELLE_SCALA="$SCALA_HOME/bin" |
|
35 |
ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml" |