Automatically generate settings.sml
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:16:22 +0000 (03:16 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:16:22 +0000 (03:16 +0000)
build
settings

diff --git a/build b/build
index 803d915..3a81c01 100755 (executable)
--- a/build
+++ b/build
@@ -5,6 +5,13 @@ source settings
 echo $SMLBIN/sml @SMLload=$BIN/mlt.$PLATFORM >src/mlt
 chmod +x src/mlt
 
 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
 cd src
 
 if [ -f mlt.$PLATFORM ] ; then
index b549bfe..6a480c9 100644 (file)
--- a/settings
+++ b/settings
@@ -1,3 +1,5 @@
 BIN=/usr/local/bin
 SMLBIN=/usr/local/sml/bin
 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