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/at64-poly
author huffman
Fri, 23 Dec 2011 15:34:18 +0100
changeset 45956 ae70b6830f15
parent 45149 22ff7e226946
child 46007 493d9c4d7ed5
permissions -rw-r--r--
add lemmas bin_cat_zero and bin_split_zero
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31310
b5365a9db718 uniform treatment of shellscript mode;
wenzelm
parents: 27088
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
25529
7836278458e7 make at64 non-experimental
kleing
parents:
diff changeset 
     2
 







45149






22ff7e226946
prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;



wenzelm


parents: 
41730

diff
changeset




     3


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













22ff7e226946
prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;



wenzelm


parents: 
41730

diff
changeset




     4


  ML_SYSTEM="polyml-5.4.1"








25529






7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




     5


  ML_PLATFORM="x86_64-linux"













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"








35244






5cb9cdc75a4a
tuned settings;



wenzelm


parents: 
35088

diff
changeset




     7


  ML_OPTIONS="-H 1000"








25529






7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




     8









35244






5cb9cdc75a4a
tuned settings;



wenzelm


parents: 
35088

diff
changeset




     9


ISABELLE_HOME_USER=~/isabelle-at64-poly








25529






7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    10














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    11


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













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    12


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    13














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    14


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













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    15


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    16














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    17














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    18


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













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    19


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













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    20














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    21


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








26210






cf904c5642e1
removed obsolete THIS_IS_ISABELLE_BUILD feature;



wenzelm


parents: 
25532

diff
changeset




    22


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













cf904c5642e1
removed obsolete THIS_IS_ISABELLE_BUILD feature;



wenzelm


parents: 
25532

diff
changeset




    23


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"








25529






7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    24














7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    25


ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"













7836278458e7
make at64 non-experimental



kleing


parents: 

diff
changeset




    26









36100






a8912920ef4f
isatest: more uniform setup for Unix vs. Cygwin;



wenzelm


parents: 
35244

diff
changeset




    27


init_component "$HOME/contrib_devel/kodkodi"















isabelle