author | wenzelm |
Wed, 18 Dec 1996 12:46:34 +0100 | |
changeset 2435 | 750a73406623 |
parent 2426 | dc9dcdb43b4f |
child 2466 | 5220fb014f8a |
permissions | -rw-r--r-- |
wenzelm@2294 | 1 |
# |
wenzelm@2294 | 2 |
# $Id$ |
wenzelm@2294 | 3 |
# |
wenzelm@2309 | 4 |
# Isabelle settings -- site defaults. |
wenzelm@2426 | 5 |
# |
wenzelm@2309 | 6 |
|
wenzelm@2426 | 7 |
### |
wenzelm@2426 | 8 |
### ML compiler settings |
wenzelm@2426 | 9 |
### |
wenzelm@2294 | 10 |
|
wenzelm@2426 | 11 |
## Uncomment / adapt one of the sections below. Note that ML_HOME |
wenzelm@2426 | 12 |
## specifies the location of the actual compiler binaries. |
wenzelm@2294 | 13 |
|
wenzelm@2426 | 14 |
# Poly/ML 2.x |
wenzelm@2435 | 15 |
#ML_SYSTEM=polyml-2.07 |
wenzelm@2426 | 16 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2 |
wenzelm@2426 | 17 |
#ML_OPTIONS="-h 30000" |
wenzelm@2426 | 18 |
|
wenzelm@2426 | 19 |
# Poly/ML 3.1 |
wenzelm@2426 | 20 |
ML_SYSTEM=polyml-3.1 |
wenzelm@2426 | 21 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 |
wenzelm@2426 | 22 |
ML_OPTIONS="-h 30000" |
wenzelm@2426 | 23 |
LM_LICENSE_FILE=$ML_HOME/license.dat |
wenzelm@2426 | 24 |
|
wenzelm@2426 | 25 |
# Standard ML of New Jersey 0.93 |
wenzelm@2426 | 26 |
#ML_SYSTEM=smlnj-0.93 |
wenzelm@2426 | 27 |
#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src |
wenzelm@2426 | 28 |
#ML_OPTIONS="" |
wenzelm@2426 | 29 |
|
wenzelm@2426 | 30 |
# Standard ML of New Jersey 1.07 |
wenzelm@2426 | 31 |
#ML_SYSTEM=smlnj-1.07 |
wenzelm@2426 | 32 |
#ML_HOME=/usr/local/sml107/bin |
wenzelm@2426 | 33 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
wenzelm@2426 | 34 |
|
wenzelm@2426 | 35 |
# Standard ML of New Jersey 1.09 |
wenzelm@2426 | 36 |
#ML_SYSTEM=smlnj-1.09 |
wenzelm@2426 | 37 |
#ML_HOME=~wenzelm/tmp/109/bin |
wenzelm@2426 | 38 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
wenzelm@2426 | 39 |
|
wenzelm@2426 | 40 |
|
wenzelm@2426 | 41 |
### |
wenzelm@2435 | 42 |
### Compilation options |
wenzelm@2435 | 43 |
### |
wenzelm@2435 | 44 |
|
wenzelm@2435 | 45 |
# Should be 'true' or 'false': |
wenzelm@2435 | 46 |
ISABELLE_HTML=true |
wenzelm@2435 | 47 |
|
wenzelm@2435 | 48 |
|
wenzelm@2435 | 49 |
### |
wenzelm@2426 | 50 |
### Misc path settings |
wenzelm@2426 | 51 |
### |
wenzelm@2426 | 52 |
|
wenzelm@2426 | 53 |
# The place for user configuration, heap files, etc. |
wenzelm@2294 | 54 |
ISABELLE_HOME_USER=~/isabelle |
wenzelm@2294 | 55 |
|
wenzelm@2426 | 56 |
# Heap file in/out locations. |
wenzelm@2426 | 57 |
# Note: ML system and platform info is appended automatically! |
wenzelm@2294 | 58 |
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
wenzelm@2294 | 59 |
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps |
wenzelm@2294 | 60 |
|
wenzelm@2294 | 61 |
DEFAULT_LOGIC=HOL |
wenzelm@2294 | 62 |
|
wenzelm@2345 | 63 |
ISABELLE_DOCS=$ISABELLE_HOME/doc |
wenzelm@2345 | 64 |
|
wenzelm@2426 | 65 |
#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
wenzelm@2426 | 66 |
DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
wenzelm@2345 | 67 |
|
wenzelm@2294 | 68 |
|
wenzelm@2426 | 69 |
### |
wenzelm@2426 | 70 |
### Interfaces |
wenzelm@2426 | 71 |
### |
wenzelm@2426 | 72 |
|
wenzelm@2426 | 73 |
# The null interface: pass-through to 'isabelle'. |
wenzelm@2294 | 74 |
#ISABELLE_INTERFACE=none |
wenzelm@2294 | 75 |
#ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@2294 | 76 |
|
wenzelm@2426 | 77 |
# Xterm with symbol font. |
wenzelm@2294 | 78 |
ISABELLE_INTERFACE=xterm |
wenzelm@2345 | 79 |
ISABELLE_INTERFACE_OPTIONS="-geometry 80x52" |
wenzelm@2294 | 80 |
ISABELLE_SYMBOLS=true |
wenzelm@2294 | 81 |
|
wenzelm@2426 | 82 |
# GNU Emacs running Isamode. |
wenzelm@2294 | 83 |
#ISABELLE_INTERFACE=emacs |
wenzelm@2294 | 84 |
#ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@2294 | 85 |
#ISABELLE_SYMBOLS=true |
wenzelm@2426 | 86 |
ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode |