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-poly-M2
author bulwahn
Thu, 07 Jul 2011 23:33:14 +0200
changeset 43704 47b0be18ccbe
parent 42423 5a7217f098bd
child 45914 eaf6728d2512
permissions -rw-r--r--
floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
 







41332






425da53b3196
updated to polyml-5.4.0;



wenzelm


parents: 
39615

diff
changeset




     3


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








39615






b926f8ec9cac
reactivated polyml-5.4.0 -- SVN 1214 fixes a problem with arbitrary precision arithmetic that was triggered by method "approximation" in HOL/Decision_Procs/Approximation_Ex.thy;



wenzelm


parents: 
39160

diff
changeset




     4


  ML_SYSTEM="polyml-5.4.0"








25530






a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




     5


  ML_PLATFORM="x86-darwin"













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"








42423






5a7217f098bd
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);



wenzelm


parents: 
41967

diff
changeset




     7


  ML_OPTIONS="--mutable 500 --immutable 500"








25530






a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




     8














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




     9














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    10


ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    11














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    12


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













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    13


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    14














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    15


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













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    16


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    17














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    18














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    19


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













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    20


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













a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    21














a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    22


# 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




    23


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













cf904c5642e1
removed obsolete THIS_IS_ISABELLE_BUILD feature;



wenzelm


parents: 
25821

diff
changeset




    24


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"








25530






a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    25









42423






5a7217f098bd
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);



wenzelm


parents: 
41967

diff
changeset




    26


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








25530






a09ab5a79d42
make mac-poly non-experimental



kleing


parents: 

diff
changeset




    27









42423






5a7217f098bd
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);



wenzelm


parents: 
41967

diff
changeset




    28


init_component "$HOME/contrib_devel/kodkodi"













5a7217f098bd
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);



wenzelm


parents: 
41967

diff
changeset




    29
















isabelle