HCoop
/
bpt
/
mlt.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Automatically generate mlt.conf
[bpt/mlt.git]
/
build
diff --git
a/build
b/build
index
3a81c01
..
24c1c56
100755
(executable)
--- a/
build
+++ b/
build
@@
-12,6
+12,10
@@
echo " val smlbin = \"$SMLBIN\"" >>settings.sml
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