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