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/sun-poly
author wenzelm
Sat, 08 Aug 2009 11:40:22 +0200
changeset 32336 e88b295aae35
parent 31310 b5365a9db718
child 32930 5b827eadb64c
permissions -rw-r--r--
refined mac-poly64 tests;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31310
b5365a9db718 uniform treatment of shellscript mode;
wenzelm
parents: 30139
diff changeset 
     1
 
# -*- shell-script -*- :mode=shellscript:
22412
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset 
     2
 







26371






8e4286e2bffe
replaced obsolete /usr/proj by /home;



wenzelm


parents: 
26210

diff
changeset




     3


  POLYML_HOME="/home/polyml/polyml-5.1"








25466






3f72994ec096
use official polyml-5.1;



wenzelm


parents: 
23830

diff
changeset




     4


  ML_SYSTEM="polyml-5.1"








22412






6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




     5


  ML_PLATFORM="sparc-solaris"













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




     6


  ML_HOME="$POLYML_HOME/$ML_PLATFORM"








30139






58388314ccc8
even less default memory for sunbroy2;



wenzelm


parents: 
30125

diff
changeset




     7


  ML_OPTIONS="-H 800"








22412






6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




     8









28982






75f221d67515
run test for sunbroy2 on /tmp,



kleing


parents: 
26371

diff
changeset




     9


ISABELLE_HOME_USER=/tmp/isabelle-sun-poly








22412






6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    10














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    11


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













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    12


ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    13














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    14


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













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    15


ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    16














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    17














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    18


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













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    19


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













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    20














6366b0bd1bc3
additional settings for isatest runs on various platforms



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: 
25590

diff
changeset




    22


ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"













cf904c5642e1
removed obsolete THIS_IS_ISABELLE_BUILD feature;



wenzelm


parents: 
25590

diff
changeset




    23


ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"








22412






6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    24














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    25


#ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    26


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













6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    27














6366b0bd1bc3
additional settings for isatest runs on various platforms



kleing


parents: 

diff
changeset




    28


HOL_USEDIR_OPTIONS="-p 2" 















isabelle