author | wenzelm |
Wed, 14 Jan 1998 10:28:21 +0100 | |
changeset 4569 | 4fd775d5456f |
parent 4544 | bd3307d3e974 |
child 4579 | 4f1e445b20d7 |
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@3177 | 8 |
### ML compiler settings (ESSENTIAL!) |
wenzelm@2426 | 9 |
### |
wenzelm@2294 | 10 |
|
wenzelm@2786 | 11 |
## Uncomment and 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@4569 | 20 |
#ML_SYSTEM=polyml-3.1 |
wenzelm@4569 | 21 |
#ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 |
wenzelm@4569 | 22 |
#ML_OPTIONS="-h 30000" |
wenzelm@4569 | 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@4406 | 30 |
# Standard ML of New Jersey 109.27 to 109.33 |
wenzelm@4406 | 31 |
#ML_SYSTEM=smlnj-109 |
wenzelm@4406 | 32 |
#ML_HOME=/usr/proj/smlnj/109.32/bin |
wenzelm@4406 | 33 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
wenzelm@4406 | 34 |
|
wenzelm@4406 | 35 |
# Standard ML of New Jersey 110 or later |
wenzelm@4569 | 36 |
ML_SYSTEM=smlnj-110 |
wenzelm@4569 | 37 |
ML_HOME=/usr/local/smlnj-110/bin |
wenzelm@4569 | 38 |
ML_OPTIONS="@SMLdebug=/dev/null" |
wenzelm@2426 | 39 |
|
wenzelm@4432 | 40 |
# MLWorks 1.0r2 or later -- still EXPERIMENTAL!! |
wenzelm@4432 | 41 |
#ML_SYSTEM=mlworks |
wenzelm@4432 | 42 |
#ML_HOME=/usr/local/mlworks/bin |
wenzelm@4432 | 43 |
#ML_OPTIONS="" |
wenzelm@4432 | 44 |
|
wenzelm@2426 | 45 |
|
wenzelm@2426 | 46 |
### |
wenzelm@3177 | 47 |
### Compilation options |
wenzelm@2435 | 48 |
### |
wenzelm@2435 | 49 |
|
wenzelm@2915 | 50 |
ISABELLE_USEDIR_OPTIONS="" |
wenzelm@2435 | 51 |
|
wenzelm@2435 | 52 |
|
wenzelm@2435 | 53 |
### |
wenzelm@2968 | 54 |
### Misc path settings |
wenzelm@2426 | 55 |
### |
wenzelm@2426 | 56 |
|
wenzelm@2426 | 57 |
# The place for user configuration, heap files, etc. |
wenzelm@2294 | 58 |
ISABELLE_HOME_USER=~/isabelle |
wenzelm@2294 | 59 |
|
wenzelm@3177 | 60 |
# Where to look for isabelle tools (multiple dirs separated by ':'). |
wenzelm@2786 | 61 |
ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
wenzelm@2786 | 62 |
|
wenzelm@4334 | 63 |
# Location for temporary files (should be on a local file system). |
wenzelm@4544 | 64 |
ISABELLE_TMP_PREFIX=/tmp/isabelle-$LOGNAME |
wenzelm@4334 | 65 |
|
wenzelm@2786 | 66 |
|
wenzelm@3118 | 67 |
# Heap file locations. ML system identifier appended automatically! |
wenzelm@2786 | 68 |
|
wenzelm@3118 | 69 |
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
wenzelm@2780 | 70 |
|
wenzelm@4413 | 71 |
#A hack! Isabelle build tells us to store heaps etc. within the |
wenzelm@4413 | 72 |
#distribution. |
wenzelm@2780 | 73 |
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then |
wenzelm@3118 | 74 |
ISABELLE_OUTPUT=$ISABELLE_HOME/heaps |
berghofe@3637 | 75 |
ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info |
wenzelm@2780 | 76 |
else |
wenzelm@3118 | 77 |
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps |
berghofe@3637 | 78 |
ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info |
wenzelm@2780 | 79 |
fi |
wenzelm@2780 | 80 |
|
wenzelm@3177 | 81 |
#Users may want to change this. |
wenzelm@3184 | 82 |
ISABELLE_LOGIC=HOL |
wenzelm@2294 | 83 |
|
wenzelm@2786 | 84 |
|
wenzelm@2786 | 85 |
## Docs |
wenzelm@2294 | 86 |
|
wenzelm@3177 | 87 |
#Where to look for docs (multiple dirs separated by ':'). |
wenzelm@2345 | 88 |
ISABELLE_DOCS=$ISABELLE_HOME/doc |
wenzelm@2345 | 89 |
|
wenzelm@3177 | 90 |
#The dvi file viewer |
wenzelm@3062 | 91 |
DVI_VIEWER=xdvi |
wenzelm@2426 | 92 |
#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
wenzelm@2476 | 93 |
#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
wenzelm@3062 | 94 |
#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
wenzelm@2345 | 95 |
|
wenzelm@2294 | 96 |
|
wenzelm@3158 | 97 |
## Fonts -- how to install the Isabelle X11 fonts (can be tricky!). |
wenzelm@3158 | 98 |
|
wenzelm@3158 | 99 |
# (1) Get fonts from local (client side) directory: |
wenzelm@2577 | 100 |
ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" |
wenzelm@3158 | 101 |
|
paulson@3689 | 102 |
# (2) Get from font server at Munich or Cambridge: |
wenzelm@3256 | 103 |
#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
paulson@3689 | 104 |
#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
wenzelm@2577 | 105 |
|
wenzelm@2426 | 106 |
### |
wenzelm@2426 | 107 |
### Interfaces |
wenzelm@2426 | 108 |
### |
wenzelm@2426 | 109 |
|
wenzelm@3303 | 110 |
# Global options. |
wenzelm@3303 | 111 |
ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@3303 | 112 |
|
wenzelm@3303 | 113 |
|
wenzelm@2426 | 114 |
# The null interface: pass-through to 'isabelle'. |
wenzelm@2294 | 115 |
#ISABELLE_INTERFACE=none |
wenzelm@2294 | 116 |
|
wenzelm@2786 | 117 |
# Simple xterm based interface. |
wenzelm@2294 | 118 |
ISABELLE_INTERFACE=xterm |
wenzelm@2968 | 119 |
|
wenzelm@3303 | 120 |
# Emacs running Isamode. |
wenzelm@2968 | 121 |
#ISABELLE_INTERFACE=emacs |
wenzelm@2969 | 122 |
ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |
wenzelm@3303 | 123 |
ISAMODE_EMACS="xemacs -q" |