author | wenzelm |
Tue, 05 Aug 1997 17:26:01 +0200 | |
changeset 3597 | 3ac6d6bcae42 |
parent 3596 | c44c83006891 |
child 3637 | 02ba2acc69c3 |
permissions | -rw-r--r-- |
2294 | 1 |
# |
2 |
# $Id$ |
|
3 |
# |
|
2309 | 4 |
# Isabelle settings -- site defaults. |
2426 | 5 |
# |
2309 | 6 |
|
2426 | 7 |
### |
3177 | 8 |
### ML compiler settings (ESSENTIAL!) |
2426 | 9 |
### |
10 |
||
2786 | 11 |
## Uncomment and adapt one of the sections below. Note that ML_HOME |
2426 | 12 |
## specifies the location of the actual compiler binaries. |
13 |
||
14 |
# Poly/ML 2.x |
|
2435 | 15 |
#ML_SYSTEM=polyml-2.07 |
2426 | 16 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2 |
17 |
#ML_OPTIONS="-h 30000" |
|
2294 | 18 |
|
2426 | 19 |
# Poly/ML 3.1 |
3364 | 20 |
ML_SYSTEM=polyml-3.1 |
21 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 |
|
22 |
ML_OPTIONS="-h 30000" |
|
23 |
LM_LICENSE_FILE=$ML_HOME/license.dat |
|
2294 | 24 |
|
2426 | 25 |
# Standard ML of New Jersey 0.93 |
26 |
#ML_SYSTEM=smlnj-0.93 |
|
27 |
#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src |
|
28 |
#ML_OPTIONS="" |
|
29 |
||
3596 | 30 |
# Standard ML of New Jersey 1.09.27 or later |
3364 | 31 |
#ML_SYSTEM=smlnj-1.09 |
32 |
#ML_HOME=/usr/local/sml109.27/bin |
|
33 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
|
2294 | 34 |
|
35 |
||
2426 | 36 |
### |
3177 | 37 |
### Compilation options |
2435 | 38 |
### |
39 |
||
2915
4d2d409fe2ea
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
wenzelm
parents:
2786
diff
changeset
|
40 |
ISABELLE_USEDIR_OPTIONS="" |
2435 | 41 |
|
42 |
||
43 |
### |
|
2968 | 44 |
### Misc path settings |
2426 | 45 |
### |
2294 | 46 |
|
2426 | 47 |
# The place for user configuration, heap files, etc. |
48 |
ISABELLE_HOME_USER=~/isabelle |
|
2294 | 49 |
|
3177 | 50 |
# Where to look for isabelle tools (multiple dirs separated by ':'). |
2786 | 51 |
ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools |
52 |
||
53 |
||
3118 | 54 |
# Heap file locations. ML system identifier appended automatically! |
2786 | 55 |
|
3118 | 56 |
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
2780 | 57 |
|
3177 | 58 |
#A hack! 'build' tells us store heaps within the distribution. |
2780 | 59 |
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then |
3118 | 60 |
ISABELLE_OUTPUT=$ISABELLE_HOME/heaps |
2780 | 61 |
else |
3118 | 62 |
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps |
2780 | 63 |
fi |
64 |
||
3177 | 65 |
#Users may want to change this. |
3184 | 66 |
ISABELLE_LOGIC=HOL |
2294 | 67 |
|
2786 | 68 |
|
69 |
## Docs |
|
2294 | 70 |
|
3177 | 71 |
#Where to look for docs (multiple dirs separated by ':'). |
2345 | 72 |
ISABELLE_DOCS=$ISABELLE_HOME/doc |
73 |
||
3177 | 74 |
#The dvi file viewer |
3062 | 75 |
DVI_VIEWER=xdvi |
2426 | 76 |
#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
2476 | 77 |
#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
3062 | 78 |
#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
2345 | 79 |
|
2294 | 80 |
|
3158 | 81 |
## Fonts -- how to install the Isabelle X11 fonts (can be tricky!). |
82 |
||
83 |
# (1) Get fonts from local (client side) directory: |
|
2577 | 84 |
ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" |
3158 | 85 |
|
3312 | 86 |
# (2) Get from font server at Munich: |
3256 | 87 |
#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
2577 | 88 |
|
89 |
||
2426 | 90 |
### |
91 |
### Interfaces |
|
92 |
### |
|
93 |
||
3303 | 94 |
# Global options. |
95 |
ISABELLE_INTERFACE_OPTIONS="" |
|
96 |
||
97 |
||
2426 | 98 |
# The null interface: pass-through to 'isabelle'. |
2294 | 99 |
#ISABELLE_INTERFACE=none |
100 |
||
2786 | 101 |
# Simple xterm based interface. |
2294 | 102 |
ISABELLE_INTERFACE=xterm |
2968 | 103 |
|
3303 | 104 |
# Emacs running Isamode. |
2968 | 105 |
#ISABELLE_INTERFACE=emacs |
2969 | 106 |
ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |
3303 | 107 |
ISAMODE_EMACS="xemacs -q" |