etc/settings
changeset 3177 3c1448b9b0ee
parent 3158 2bd87b6682bf
child 3182 3270d7bca923
     1.1 --- a/etc/settings	Tue May 13 15:02:19 1997 +0200
     1.2 +++ b/etc/settings	Wed May 14 11:52:42 1997 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  #
     1.5  
     1.6  ###
     1.7 -### ML compiler settings (ESSENTIAL)
     1.8 +### ML compiler settings (ESSENTIAL!)
     1.9  ###
    1.10  
    1.11  ## Uncomment and adapt one of the sections below.  Note that ML_HOME
    1.12 @@ -17,10 +17,10 @@
    1.13  #ML_OPTIONS="-h 30000"
    1.14  
    1.15  # Poly/ML 3.1
    1.16 -ML_SYSTEM=polyml-3.1
    1.17 -ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.18 -ML_OPTIONS="-h 30000"
    1.19 -LM_LICENSE_FILE=$ML_HOME/license.dat
    1.20 +#ML_SYSTEM=polyml-3.1
    1.21 +#ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.22 +#ML_OPTIONS="-h 30000"
    1.23 +#LM_LICENSE_FILE=$ML_HOME/license.dat
    1.24  
    1.25  # Standard ML of New Jersey 0.93
    1.26  #ML_SYSTEM=smlnj-0.93
    1.27 @@ -32,14 +32,14 @@
    1.28  #ML_HOME=/usr/local/sml107/bin
    1.29  #ML_OPTIONS="@SMLdebug=/dev/null"
    1.30  
    1.31 -# Standard ML of New Jersey 1.09
    1.32 -#ML_SYSTEM=smlnj-1.09
    1.33 -#ML_HOME=/usr/local/sml109/bin
    1.34 -#ML_OPTIONS="@SMLdebug=/dev/null"
    1.35 +# Standard ML of New Jersey 1.09.27
    1.36 +ML_SYSTEM=smlnj-1.09
    1.37 +ML_HOME=/usr/local/sml109.27/bin
    1.38 +ML_OPTIONS="@SMLdebug=/dev/null"
    1.39  
    1.40  
    1.41  ###
    1.42 -### Misc options
    1.43 +### Compilation options
    1.44  ###
    1.45  
    1.46  ISABELLE_USEDIR_OPTIONS=""
    1.47 @@ -52,7 +52,7 @@
    1.48  # The place for user configuration, heap files, etc.
    1.49  ISABELLE_HOME_USER=~/isabelle
    1.50  
    1.51 -# Where to look for isabelle tools.
    1.52 +# Where to look for isabelle tools (multiple dirs separated by ':').
    1.53  ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    1.54  
    1.55  
    1.56 @@ -60,20 +60,23 @@
    1.57  
    1.58  ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.59  
    1.60 +#A hack! 'build' tells us store heaps within the distribution.
    1.61  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.62    ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    1.63  else
    1.64    ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.65  fi
    1.66  
    1.67 -
    1.68 +#Users may want to change this.
    1.69  DEFAULT_LOGIC=HOL
    1.70  
    1.71  
    1.72  ## Docs
    1.73  
    1.74 +#Where to look for docs (multiple dirs separated by ':').
    1.75  ISABELLE_DOCS=$ISABELLE_HOME/doc
    1.76  
    1.77 +#The dvi file viewer
    1.78  DVI_VIEWER=xdvi
    1.79  #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    1.80  #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"