Admin/isatest/settings/sun-sml-dev
author berghofe
Sat, 31 Mar 2007 12:40:55 +0200
changeset 22556 b067fdca022d
parent 22412 6366b0bd1bc3
child 26210 cf904c5642e1
permissions -rw-r--r--
Fixed bug in dest_prem: premises of the form "p x_1 ... x_n" (where p is a variable) are now treated as side conditions if p is not in the list of (global) parameters.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22412
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     1
# -*- shell-script -*-
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     2
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     3
# Standard ML of New Jersey 110 or later
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     4
ML_SYSTEM=smlnj-110
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     5
ML_HOME="/usr/proj/smlnj/110.60/bin"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     6
ML_OPTIONS="@SMLdebug=/dev/null"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     7
ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     8
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
     9
ISABELLE_HOME_USER=~/isabelle-sun-sml-dev
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.
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    22
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    23
  #Isabelle build tells us to store heaps etc. within the distribution.
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    24
  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    25
  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    26
else
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    27
  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    28
  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    29
fi
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    30
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    31
# ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    32
ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    33
6366b0bd1bc3 additional settings for isatest runs on various platforms
kleing
parents:
diff changeset
    34
HOL_USEDIR_OPTIONS="-p 2"