Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/settings/mac-poly64-M4
author wenzelm
Sun, 02 Sep 2012 14:02:05 +0200
changeset 49064 bd6cc0b911a1
parent 48729 093eb27374bb
child 49345 f182f7fa158f
permissions -rw-r--r--
maintain stable state of node entries from last round -- bypass slightly different Thm.join_theory_proofs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31886
905a27100f55 added isatest for x86_64-darwin;
wenzelm
parents:
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
905a27100f55 added isatest for x86_64-darwin;
wenzelm
parents:
diff changeset 
     2
 







47581






7cec99938b3b
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);



wenzelm


parents: 
47472

diff
changeset




     3


  POLYML_HOME="/home/polyml/polyml-5.4.1"













7cec99938b3b
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);



wenzelm


parents: 
47472

diff
changeset




     4


  ML_SYSTEM="polyml-5.4.1"








31886






905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




     5


  ML_PLATFORM="x86_64-darwin"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"








47581






7cec99938b3b
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);



wenzelm


parents: 
47472

diff
changeset




     7


  ML_OPTIONS="-H 2000 --gcthreads 4"








31886






905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




     8














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




     9









31895






a10da95b3d9c
fixed ISABELLE_HOME_USER;



wenzelm


parents: 
31886

diff
changeset




    10


ISABELLE_HOME_USER=~/isabelle-mac-poly64-M4








31886






905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    11














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    12


# Where to look for isabelle tools (multiple dirs separated by ':').













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    13


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    14














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    15


# Location for temporary files (should be on a local file system).













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    16


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    17














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    18














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    19


# Heap input locations. ML system identifier is included in lookup.













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    20


ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    21














905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    22


# Heap output location. ML system identifier is appended automatically later on.













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    23


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    24


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"













905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    25









48629






2348fedfa076
updated isatest settings for isabelle build;



wenzelm


parents: 
47581

diff
changeset




    26


ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"








31886






905a27100f55
added isatest for x86_64-darwin;



wenzelm


parents: 

diff
changeset




    27









48635






bfce940c6f38
clarified ISABELLE_FULL_TEST;



wenzelm


parents: 
48629

diff
changeset




    28


ISABELLE_FULL_TEST=true













bfce940c6f38
clarified ISABELLE_FULL_TEST;



wenzelm


parents: 
48629

diff
changeset




    29









46111






cd49d458b545
prefer explicit version information;



wenzelm


parents: 
46108

diff
changeset




    30


init_component "$HOME/contrib_devel/kodkodi-1.2.16"















isabelle