4 # Isabelle settings -- site defaults.
5 # Do *NOT* copy this file into your personal isabelle directory!
8 ### ML compiler settings (ESSENTIAL!)
11 ## Uncomment and adapt one of the sections below. Note that ML_HOME
12 ## specifies the location of the actual compiler binaries.
15 POLYML_HOME=$ISABELLE_HOME/../polyml
16 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
17 ML_HOME=$POLYML_HOME/$ML_PLATFORM
21 # Standard ML of New Jersey 110 or later
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)
27 # MLWorks 2.0 or later
29 #ML_HOME=/usr/local/mlworks/bin
34 #ML_SYSTEM=polyml-2.07
35 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
36 #ML_OPTIONS="-h 30000"
39 # Standard ML of New Jersey 0.93
41 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
47 ### Compilation options
50 ISABELLE_USEDIR_OPTIONS="-i false"
51 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
55 ### Document preparation
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"
64 # The thumbpdf tool is probably not generally available ...
65 #ISABELLE_THUMBPDF="thumbpdf"
69 ### Misc path settings
72 # The place for user configuration, heap files, etc.
73 ISABELLE_HOME_USER=~/isabelle
75 # Where to look for isabelle tools (multiple dirs separated by ':').
76 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
78 # Location for temporary files (should be on a local file system).
79 ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER
82 # Heap file locations. ML system identifier appended automatically!
84 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
86 #A hack! Isabelle build tells us to store heaps etc. within the
88 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
89 ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
90 ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
92 ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
93 ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
96 #Users may want to change this.
102 #Where to look for docs (multiple dirs separated by ':').
103 ISABELLE_DOCS=$ISABELLE_HOME/doc
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"
112 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
114 # (1) Get fonts from local (client side) directory:
115 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
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"
126 # The null interface: pass-through to 'isabelle'.
127 #ISABELLE_INTERFACE=none
129 # Simple xterm based interface.
130 ISABELLE_INTERFACE=xterm
131 ISABELLE_XTERM_OPTIONS=""
133 # Emacs running Isamode.
134 #ISABELLE_INTERFACE=emacs
135 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
138 # Emacs running Proof General.
139 #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
140 PROOFGENERAL_OPTIONS=""
144 ### External reasoning tools
147 ## Set HOME only for tools you have installed!
149 # SVC (Stanford Validity Checker)
151 #SVC_MACHINE=i386-redhat-linux
152 #SVC_MACHINE=sparc-sun-solaris
154 # Mucke (mu-calculus model checker)
155 #MUCKE_HOME=/usr/local/bin
157 # Einhoven model checker
158 #EINDHOVEN_HOME=/usr/local/bin