Admin/isatest/settings/at-poly-5.1-para-e
author wenzelm
Mon, 20 Jul 2009 19:57:32 +0200
changeset 32080 0a8b5dfee5a5
parent 31310 b5365a9db718
child 33930 6a973bd43949
permissions -rw-r--r--
replaced usedir option -Q by more fine-grained -q;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31310
b5365a9db718 uniform treatment of shellscript mode;
wenzelm
parents: 29643
diff changeset
     1
# -*- shell-script -*- :mode=shellscript:
24468
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
     2
28669
fdae33134bbf switched parallel sessions to polyml-5.2.1;
wenzelm
parents: 27088
diff changeset
     3
  POLYML_HOME="/home/polyml/polyml-5.2.1"
fdae33134bbf switched parallel sessions to polyml-5.2.1;
wenzelm
parents: 27088
diff changeset
     4
  ML_SYSTEM="polyml-5.2.1"
24468
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
     5
  ML_PLATFORM="x86-linux"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
     6
  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
     7
  ML_OPTIONS="-H 500"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
     8
27088
891a3c9db9e1 switched to Poly/ML 5.2;
wenzelm
parents: 26402
diff changeset
     9
ISABELLE_HOME_USER=~/isabelle-at-poly-para-e
24468
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    10
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    11
# Where to look for isabelle tools (multiple dirs separated by ':').
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    12
ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    13
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    14
# Location for temporary files (should be on a local file system).
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    15
ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    16
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    17
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    18
# Heap input locations. ML system identifier is included in lookup.
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    19
ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    20
15012073f0c1 mark all parallel sessions as 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: 25952
diff changeset
    22
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
cf904c5642e1 removed obsolete THIS_IS_ISABELLE_BUILD feature;
wenzelm
parents: 25952
diff changeset
    23
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
24468
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    24
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    25
ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
15012073f0c1 mark all parallel sessions as experimental
kleing
parents:
diff changeset
    26
32080
0a8b5dfee5a5 replaced usedir option -Q by more fine-grained -q;
wenzelm
parents: 31310
diff changeset
    27
HOL_USEDIR_OPTIONS="-p 2 -q 0"