isabelle: Admin/isatest/settings/mac-poly-M2@bc957769b584 (annotated)

31310 b5365a9db718 uniform treatment of shellscript mode; wenzelm parents: 30617 diff changeset	1	# -- shell-script -- :mode=shellscript:
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	2
48991 0350245dec1c init components from local clone that is used to produce the test distribition, which itself lacks Admin; wenzelm parents: 48931 diff changeset	3	init_components /home/isabelle/contrib "$HOME/admin/components/main"
0350245dec1c init components from local clone that is used to produce the test distribition, which itself lacks Admin; wenzelm parents: 48931 diff changeset	4	init_components /home/isabelle/contrib "$HOME/admin/components/optional"
0350245dec1c init components from local clone that is used to produce the test distribition, which itself lacks Admin; wenzelm parents: 48931 diff changeset	5	init_components /home/isabelle/contrib "$HOME/admin/components/nonfree"
0350245dec1c init components from local clone that is used to produce the test distribition, which itself lacks Admin; wenzelm parents: 48931 diff changeset	6
48931 5787fbb89979 test with many add-ons; wenzelm parents: 48729 diff changeset	7	ML_SYSTEM="polyml-5.5.0"
5787fbb89979 test with many add-ons; wenzelm parents: 48729 diff changeset	8	ML_PLATFORM="x86-darwin"
49405 2fc68b3787a8 prefer official polyml-5.5.0; wenzelm parents: 48991 diff changeset	9	ML_HOME="/home/polyml/polyml-5.5.0/$ML_PLATFORM"
48931 5787fbb89979 test with many add-ons; wenzelm parents: 48729 diff changeset	10	ML_OPTIONS="-H 500"
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	11
57560 bc957769b584 add ISABELLE_GHC settings for isatest kleing parents: 49405 diff changeset	12	ISABELLE_GHC=/opt/local/bin/ghc
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	13
48931 5787fbb89979 test with many add-ons; wenzelm parents: 48729 diff changeset	14	ISABELLE_HOME_USER=~/isabelle-mac-poly-M2
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	15
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	16	# Where to look for isabelle tools (multiple dirs separated by ':').
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	17	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	18
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	19	# Location for temporary files (should be on a local file system).
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	20	ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	21
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	22
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	23	# Heap input locations. ML system identifier is included in lookup.
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	24	ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	25
a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	26	# Heap output location. ML system identifier is appended automatically later on.
26210 cf904c5642e1 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 25821 diff changeset	27	ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
cf904c5642e1 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 25821 diff changeset	28	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	29
48931 5787fbb89979 test with many add-ons; wenzelm parents: 48729 diff changeset	30	ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=2 parallel_proofs=2"
25530 a09ab5a79d42 make mac-poly non-experimental kleing parents: diff changeset	31

author	kleing
	Tue, 15 Jul 2014 11:13:43 +0200
changeset 57560	bc957769b584
parent 49405	2fc68b3787a8
child 57579	c1e24d017918
permissions	-rw-r--r--