# # $Id$ # # Isabelle settings -- site defaults. # ### ### ML compiler settings (ESSENTIAL!) ### ## Uncomment and adapt one of the sections below. Note that ML_HOME ## specifies the location of the actual compiler binaries. # Poly/ML 2.x #ML_SYSTEM=polyml-2.07 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2 #ML_OPTIONS="-h 30000" # Poly/ML 3.1 ML_SYSTEM=polyml-3.1 ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 ML_OPTIONS="-h 30000" LM_LICENSE_FILE=$ML_HOME/license.dat # Standard ML of New Jersey 0.93 #ML_SYSTEM=smlnj-0.93 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src #ML_OPTIONS="" # Standard ML of New Jersey 1.09.27 or later #ML_SYSTEM=smlnj-1.09 #ML_HOME=/usr/local/sml109.27/bin #ML_OPTIONS="@SMLdebug=/dev/null" ### ### Compilation options ### ISABELLE_USEDIR_OPTIONS="" ### ### Misc path settings ### # The place for user configuration, heap files, etc. ISABELLE_HOME_USER=~/isabelle # Where to look for isabelle tools (multiple dirs separated by ':'). ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools # Heap file locations. ML system identifier appended automatically! ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps #A hack! 'build' tells us store heaps within the distribution. if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then ISABELLE_OUTPUT=$ISABELLE_HOME/heaps ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info else ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info fi #Users may want to change this. ISABELLE_LOGIC=HOL ## Docs #Where to look for docs (multiple dirs separated by ':'). ISABELLE_DOCS=$ISABELLE_HOME/doc #The dvi file viewer DVI_VIEWER=xdvi #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!). # (1) Get fonts from local (client side) directory: ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" # (2) Get from font server at Munich or Cambridge: #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" ### ### Interfaces ### # Global options. ISABELLE_INTERFACE_OPTIONS="" # The null interface: pass-through to 'isabelle'. #ISABELLE_INTERFACE=none # Simple xterm based interface. ISABELLE_INTERFACE=xterm # Emacs running Isamode. #ISABELLE_INTERFACE=emacs ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode ISAMODE_EMACS="xemacs -q"