Commit | Line | Data |
---|---|---|
c0a3b488 AC |
1 | #!/bin/sh |
2 | ||
b7ef52bf AC |
3 | source settings |
4 | ||
5 | echo $SMLBIN/sml @SMLload=$BIN/mlt.$PLATFORM >src/mlt | |
0b312c7c | 6 | chmod +x src/mlt |
c0a3b488 | 7 | |
e450a3e2 AC |
8 | echo structure Settings = struct >settings.sml |
9 | echo " val arch = \"$PLATFORM\"" >>settings.sml | |
10 | echo " val defaultFile = \"$DEFAULT\"" >>settings.sml | |
11 | echo " val smlbin = \"$SMLBIN\"" >>settings.sml | |
12 | echo " val mltdir = \"$MLTDIR\"" >>settings.sml | |
13 | echo end >>settings.sml | |
14 | ||
c0a3b488 AC |
15 | cd src |
16 | ||
dc3b1a7f AC |
17 | if [ -f mlt.$PLATFORM ] ; then |
18 | rm mlt.$PLATFORM | |
c0a3b488 AC |
19 | fi |
20 | if [ -d CM ] ; then | |
21 | rm -rf CM | |
22 | fi | |
23 | if [ -d lib/CM ] ; then | |
24 | rm -rf lib/CM | |
25 | fi | |
f1b55b48 AC |
26 | if [ -d .cm ] ; then |
27 | rm -rf .cm | |
28 | fi | |
29 | if [ -d lib/.cm ] ; then | |
30 | rm -rf lib/.cm | |
31 | fi | |
c0a3b488 AC |
32 | |
33 | if ! cat build.sml | $SMLBIN/sml ; then | |
34 | exit 1 | |
35 | fi | |
36 | ||
37 | if ! $SMLBIN/ml-build sources.cm Main.main mlt ; then | |
38 | exit 1 | |
39 | fi | |
40 | ||
41 | cd lib | |
42 | ||
43 | if ! cat build.sml | $SMLBIN/sml ; then | |
44 | exit 1 | |
b7ef52bf AC |
45 | fi |
46 |