Modify the parameters in settings as appropriate for your system.
-If it is possible for you to modify a file /etc/mlt.conf, then you can
-edit this file to set various options related to locations of
-important files on your file system. In particular, you may want to
-set the 'compiler', 'lib', and 'sml' options (documented in the
-manual) if you have SML/NJ installed somewhere besides /usr/local/sml
-or the mlt src directory somewhere besides /usr/local/share/mlt/src.
-If you can't modify /etc/mlt.conf, then you can change the DEFAULT
-option in settings to a different path, or you can leave it as is and
-provide all configuration in the local mlt.conf file for each project.
-
-These changes may be made for you by a fancy configuration program in
-a future release.
+These settings may be determined for you autotmatically by a fancy
+configuration program in a future release.
========
Building
========
-All sources may be built by running the build script in this
+All sources may be built by running the 'build' script in this
directory. It does a clean re-build of all source files and stabilizes
all libraries produced. The build script is not appropriate for use
during development. Use the standard SML/NJ CM mechanisms if you are
changing the code and don't want to recompile everything each time.
+The 'install' script installs the 'mlt' program to the BINDIR
+specified in settings. You can also copy the generated mlt.conf file to
+/etc or wherever else you specified for the DEFAULT setting.
+
[There is probably a better way to do this, but I haven't figured one
out yet.]
echo " val mltdir = \"$MLTDIR\"" >>settings.sml
echo end >>settings.sml
+echo "compiler $MLTDIR/src/sources.cm" >mlt.conf
+echo "lib $MLTDIR/src/lib/sources.cm" >>mlt.conf
+cat mlt.conf.base >>mlt.conf
+
cd src
if [ -f mlt.$PLATFORM ] ; then
BIN=/usr/local/bin
+# Directory where programs will be installed
+
SMLBIN=/usr/local/sml/bin
+# Location of SML/NJ tools
+
PLATFORM=x86-linux
+# The suffix SML/NJ uses for heaps on your platform
+
MLTDIR=/usr/local/share/mlt
-DEFAULT=/etc/mlt.conf
\ No newline at end of file
+# Where you installed the mlt tree
+
+DEFAULT=/etc/mlt.conf
+# Path to default configuration file
\ No newline at end of file