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-M2
author wenzelm
Wed, 28 Dec 2011 15:08:12 +0100
changeset 46007 493d9c4d7ed5
parent 45914 eaf6728d2512
child 46108 1c314d838676
permissions -rw-r--r--
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor; prefer explicit version information;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
44978
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents:
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents:
diff changeset 
     2
 












a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     3


  POLYML_HOME="/home/polyml/polyml-5.4.0"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     4


  ML_SYSTEM="polyml-5.4.0"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     5


  ML_PLATFORM="x86_64-darwin"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"








45914






eaf6728d2512
tuned settings;



wenzelm


parents: 
44978

diff
changeset




     7


  ML_OPTIONS="-H 1000"








44978






a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     8














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




     9














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    10


ISABELLE_HOME_USER=~/isabelle-at-mac-poly64-M2













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    11














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    12


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













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    13


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    14














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    15


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













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    16


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    17














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    18














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    19


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













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    20


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













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    21














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    22


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













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    23


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    24


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    25














a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    26


ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"













a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    27









46007






493d9c4d7ed5
disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;



wenzelm


parents: 
45914

diff
changeset




    28


#init_component "$HOME/contrib_devel/kodkodi-1.2.16"








44978






a04f3eb3943c
isatest settings for macbroy6 (Mac OS X Lion);



wenzelm


parents: 

diff
changeset




    29
















isabelle