settings

   1 BIN=/usr/local/bin
   2 # Directory where programs will be installed
   3
   4 SMLBIN=/usr/local/sml/bin
   5 # Location of SML/NJ tools
   6
   7 PLATFORM=x86-linux
   8 # The suffix SML/NJ uses for heaps on your platform
   9
  10 MLTDIR=/usr/local/share/mlt
  11 # Where you installed the mlt tree
  12
  13 DEFAULT=/etc/mlt.conf
  14 # Path to default configuration file