etc/settings
author wenzelm
Fri Aug 06 22:37:57 1999 +0200 (1999-08-06)
changeset 7194 5a80f69d6c62
parent 7185 19672499bab6
child 7296 81286f228b2d
permissions -rw-r--r--
tuned;
     1 #
     2 # $Id$
     3 #
     4 # Isabelle settings -- site defaults.
     5 # Do *NOT* copy this file into your personal isabelle directory!
     6 
     7 ###
     8 ### ML compiler settings (ESSENTIAL!)
     9 ###
    10 
    11 ## Uncomment and adapt one of the sections below.  Note that ML_HOME
    12 ## specifies the location of the actual compiler binaries.
    13 
    14 # Standard ML of New Jersey 110 or later
    15 ML_SYSTEM=smlnj-110
    16 ML_HOME=$ISABELLE_HOME/../smlnj/bin
    17 ML_OPTIONS="@SMLdebug=/dev/null"
    18 ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)
    19 
    20 # MLWorks 2.0 or later
    21 #ML_SYSTEM=mlworks
    22 #ML_HOME=/usr/local/mlworks/bin
    23 #ML_OPTIONS=""
    24 #ML_PLATFORM=""
    25 
    26 # Poly/ML 2.x
    27 #ML_SYSTEM=polyml-2.07
    28 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    29 #ML_OPTIONS="-h 30000"
    30 #ML_PLATFORM=""
    31 
    32 # Poly/ML 3.1
    33 #ML_SYSTEM=polyml-3.1
    34 #ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    35 #ML_OPTIONS="-h 30000"
    36 #ML_PLATFORM=""
    37 #LM_LICENSE_FILE=$ML_HOME/license.dat
    38 
    39 # Standard ML of New Jersey 0.93
    40 #ML_SYSTEM=smlnj-0.93
    41 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
    42 #ML_OPTIONS=""
    43 #ML_PLATFORM=""
    44 
    45 
    46 ###
    47 ### Compilation options
    48 ###
    49 
    50 ISABELLE_USEDIR_OPTIONS="-i false"
    51 
    52 
    53 ###
    54 ### Misc path settings
    55 ###
    56 
    57 # The place for user configuration, heap files, etc.
    58 ISABELLE_HOME_USER=~/isabelle
    59 
    60 # Where to look for isabelle tools (multiple dirs separated by ':').
    61 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    62 
    63 # Location for temporary files (should be on a local file system).
    64 ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER
    65 
    66 
    67 # Heap file locations. ML system identifier appended automatically!
    68 
    69 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    70 
    71 #A hack! Isabelle build tells us to store heaps etc. within the
    72 #distribution.
    73 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    74   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    75   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
    76 else
    77   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    78   ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
    79 fi
    80 
    81 #Users may want to change this.
    82 ISABELLE_LOGIC=HOL
    83 
    84 
    85 ## Docs
    86 
    87 #Where to look for docs (multiple dirs separated by ':').
    88 ISABELLE_DOCS=$ISABELLE_HOME/doc
    89 
    90 #The dvi file viewer
    91 DVI_VIEWER=xdvi
    92 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    93 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    94 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    95 
    96 
    97 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
    98 
    99 # (1) Get fonts from local (client side) directory:
   100 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
   101 
   102 # (2) Get from font server at Munich or Cambridge:
   103 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
   104 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
   105 
   106 
   107 ###
   108 ### Interfaces
   109 ###
   110 
   111 # The null interface: pass-through to 'isabelle'.
   112 #ISABELLE_INTERFACE=none
   113 
   114 # Simple xterm based interface.
   115 ISABELLE_INTERFACE=xterm
   116 ISABELLE_XTERM_OPTIONS=""
   117 
   118 # Emacs running Isamode.
   119 #ISABELLE_INTERFACE=emacs
   120 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
   121 ISAMODE_OPTIONS=""
   122 
   123 # Emacs running Proof General.
   124 #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
   125 PROOFGENERAL_OPTIONS=""
   126 
   127 
   128 ###
   129 ### External reasoning tools
   130 ###
   131 
   132 ## Set HOME only for tools you have installed!
   133 
   134 # SVC (Stanford Validity Checker)
   135 #SVC_HOME=
   136 #SVC_MACHINE=i386-redhat-linux
   137 #SVC_MACHINE=sparc-sun-solaris