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/at-poly-test
author blanchet
Wed, 08 Dec 2010 22:18:37 +0100
changeset 41093 dfbc8759415f
parent 36100 a8912920ef4f
child 41730 14ed42540d22
permissions -rw-r--r--
lower fudge factor
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
35398
aec00d4ec03d added at-poly-test, which is intended for performance tests of Poly/ML itself;
wenzelm
parents:
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
aec00d4ec03d added at-poly-test, which is intended for performance tests of Poly/ML itself;
wenzelm
parents:
diff changeset 
     2
 







35571






4af56a1c4c7d
switch to polyml-svn;



wenzelm


parents: 
35398

diff
changeset




     3


  POLYML_HOME="/home/polyml/polyml-svn"








35398






aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     4


  ML_SYSTEM="polyml-5.3.0"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     5


  ML_PLATFORM="x86-linux"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     7


  ML_OPTIONS="-H 500"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     8














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




     9


ISABELLE_HOME_USER=~/isabelle-at-poly-test













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    10














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    11


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    12


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    13














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    14


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    15


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    16














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    17














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    18


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    19


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    20














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    21


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    22


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    23


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    24














aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    25


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













aec00d4ec03d
added at-poly-test, which is intended for performance tests of Poly/ML itself;



wenzelm


parents: 

diff
changeset




    26









36100






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



wenzelm


parents: 
35571

diff
changeset




    27


init_component "$HOME/contrib_devel/kodkodi"















isabelle