etc/settings
author oheimb
Fri Jun 02 20:38:28 2000 +0200 (2000-06-02)
changeset 9028 8a1ec8f05f14
parent 8880 3a5215883047
child 9225 4772656ddbbc
permissions -rw-r--r--
added HOL/Prolog
     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 # Poly/ML 3.x
    15 POLYML_HOME=$ISABELLE_HOME/../polyml
    16 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
    17 ML_HOME=$POLYML_HOME/$ML_PLATFORM
    18 ML_SYSTEM=polyml-3.x
    19 ML_OPTIONS="-h 30000"
    20 
    21 # Standard ML of New Jersey 110 or later
    22 #ML_SYSTEM=smlnj-110
    23 #ML_HOME=$ISABELLE_HOME/../smlnj/bin
    24 #ML_OPTIONS="@SMLdebug=/dev/null"
    25 #ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)
    26 
    27 # MLWorks 2.0 or later
    28 #ML_SYSTEM=mlworks
    29 #ML_HOME=/usr/local/mlworks/bin
    30 #ML_OPTIONS=""
    31 #ML_PLATFORM=""
    32 
    33 # Poly/ML 2.x
    34 #ML_SYSTEM=polyml-2.07
    35 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    36 #ML_OPTIONS="-h 30000"
    37 #ML_PLATFORM=""
    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 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    52 
    53 
    54 ###
    55 ### Document preparation
    56 ###
    57 
    58 TEXINPUTS="$ISABELLE_HOME/lib/texinputs:$TEXINPUTS"
    59 ISABELLE_LATEX="latex"
    60 ISABELLE_PDFLATEX="pdflatex"
    61 ISABELLE_BIBTEX="bibtex"
    62 ISABELLE_DVIPS="dvips -D 600"
    63 
    64 # The thumbpdf tool is probably not generally available ...
    65 #ISABELLE_THUMBPDF="thumbpdf"
    66 
    67 
    68 ###
    69 ### Misc path settings
    70 ###
    71 
    72 # The place for user configuration, heap files, etc.
    73 ISABELLE_HOME_USER=~/isabelle
    74 
    75 # Where to look for isabelle tools (multiple dirs separated by ':').
    76 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    77 
    78 # Location for temporary files (should be on a local file system).
    79 ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER
    80 
    81 
    82 # Heap file locations. ML system identifier appended automatically!
    83 
    84 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    85 
    86 #A hack! Isabelle build tells us to store heaps etc. within the
    87 #distribution.
    88 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    89   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    90   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
    91 else
    92   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    93   ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
    94 fi
    95 
    96 #Users may want to change this.
    97 ISABELLE_LOGIC=HOL
    98 
    99 
   100 ## Docs
   101 
   102 #Where to look for docs (multiple dirs separated by ':').
   103 ISABELLE_DOCS=$ISABELLE_HOME/doc
   104 
   105 #The dvi file viewer
   106 DVI_VIEWER=xdvi
   107 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   108 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   109 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   110 
   111 
   112 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
   113 
   114 # (1) Get fonts from local (client side) directory:
   115 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
   116 
   117 # (2) Get from font server at Munich or Cambridge:
   118 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
   119 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
   120 
   121 
   122 ###
   123 ### Interfaces
   124 ###
   125 
   126 # The null interface: pass-through to 'isabelle'.
   127 #ISABELLE_INTERFACE=none
   128 
   129 # Simple xterm based interface.
   130 ISABELLE_INTERFACE=xterm
   131 ISABELLE_XTERM_OPTIONS=""
   132 
   133 # Emacs running Isamode.
   134 #ISABELLE_INTERFACE=emacs
   135 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
   136 ISAMODE_OPTIONS=""
   137 
   138 # Proof General -- if present make this the default
   139 if [ -d "$ISABELLE_HOME/contrib/ProofGeneral" ]; then
   140   ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
   141 fi
   142 PROOFGENERAL_OPTIONS=""
   143 
   144 
   145 ###
   146 ### External reasoning tools
   147 ###
   148 
   149 ## Set HOME only for tools you have installed!
   150 
   151 # SVC (Stanford Validity Checker)
   152 #SVC_HOME=
   153 #SVC_MACHINE=i386-redhat-linux
   154 #SVC_MACHINE=sparc-sun-solaris
   155 
   156 # Mucke (mu-calculus model checker)
   157 #MUCKE_HOME=/usr/local/bin
   158 
   159 # Einhoven model checker
   160 #EINDHOVEN_HOME=/usr/local/bin