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 wenzelm
Thu, 05 Jul 2012 13:33:53 +0200
changeset 48187 6615f7ce670b
parent 47744 af81dc62a281
child 48629 2348fedfa076
permissions -rw-r--r--
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
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"








43846






e6226e100ac5
updated to Poly/ML SVN 1328, which is considered 5.4.2;



wenzelm


parents: 
43364

diff
changeset




     4


  ML_SYSTEM="polyml-5.4.2"








35398






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"








47414






b2eafae4d401
updated for Poly/ML SVN 1476;



wenzelm


parents: 
46111

diff
changeset




     7


  ML_OPTIONS="-H 500 --gcthreads 1"








35398






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









48187






6615f7ce670b
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);



wenzelm


parents: 
47744

diff
changeset




    27


ISABELLE_GHC="/usr/bin/ghc"













6615f7ce670b
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);



wenzelm


parents: 
47744

diff
changeset




    28


ISABELLE_OCAML="/usr/bin/ocaml"








41957






d488ae70366d
less ambitious isatest;



wenzelm


parents: 
41730

diff
changeset




    29


ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"













d488ae70366d
less ambitious isatest;



wenzelm


parents: 
41730

diff
changeset




    30









46111






cd49d458b545
prefer explicit version information;



wenzelm


parents: 
46108

diff
changeset




    31


init_component "$HOME/contrib_devel/kodkodi-1.2.16"















isabelle