From e450a3e298d4ef550d126efff532dbf873077d6f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Wed, 22 Sep 2004 03:16:22 +0000
Subject: [PATCH] Automatically generate settings.sml

---
 build    | 7 +++++++
 settings | 4 +++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/build b/build
index 803d915..3a81c01 100755
--- a/build
+++ b/build
@@ -5,6 +5,13 @@ source settings
 echo $SMLBIN/sml @SMLload=$BIN/mlt.$PLATFORM >src/mlt
 chmod +x src/mlt
 
+echo structure Settings = struct >settings.sml
+echo "    val arch = \"$PLATFORM\"" >>settings.sml
+echo "    val defaultFile = \"$DEFAULT\"" >>settings.sml
+echo "    val smlbin = \"$SMLBIN\"" >>settings.sml
+echo "    val mltdir = \"$MLTDIR\"" >>settings.sml
+echo end >>settings.sml
+
 cd src
 
 if [ -f mlt.$PLATFORM ] ; then
diff --git a/settings b/settings
index b549bfe..6a480c9 100644
--- a/settings
+++ b/settings
@@ -1,3 +1,5 @@
 BIN=/usr/local/bin
 SMLBIN=/usr/local/sml/bin
-PLATFORM=x86-linux
\ No newline at end of file
+PLATFORM=x86-linux
+MLTDIR=/usr/local/share/mlt
+DEFAULT=/etc/mlt.conf
\ No newline at end of file
-- 
2.20.1