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.
14 # Standard ML of New Jersey 110 or later
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)
20 # MLWorks 2.0 or later
22 #ML_HOME=/usr/local/mlworks/bin
27 #ML_SYSTEM=polyml-2.07
28 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
29 #ML_OPTIONS="-h 30000"
34 #ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
35 #ML_OPTIONS="-h 30000"
37 #LM_LICENSE_FILE=$ML_HOME/license.dat
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"
54 ### Misc path settings
57 # The place for user configuration, heap files, etc.
58 ISABELLE_HOME_USER=~/isabelle
60 # Where to look for isabelle tools (multiple dirs separated by ':').
61 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
63 # Location for temporary files (should be on a local file system).
64 ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER
67 # Heap file locations. ML system identifier appended automatically!
69 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
71 #A hack! Isabelle build tells us to store heaps etc. within the
73 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
74 ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
75 ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
77 ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
78 ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
81 #Users may want to change this.
87 #Where to look for docs (multiple dirs separated by ':').
88 ISABELLE_DOCS=$ISABELLE_HOME/doc
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"
97 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
99 # (1) Get fonts from local (client side) directory:
100 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
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"
111 # The null interface: pass-through to 'isabelle'.
112 #ISABELLE_INTERFACE=none
114 # Simple xterm based interface.
115 ISABELLE_INTERFACE=xterm
116 ISABELLE_XTERM_OPTIONS=""
118 # Emacs running Isamode.
119 #ISABELLE_INTERFACE=emacs
120 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
123 # Emacs running Proof General.
124 #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
125 PROOFGENERAL_OPTIONS=""