Automatically generate settings.sml

[bpt/mlt.git] / build

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