/
Makefile.light
64 lines (60 loc) · 1.5 KB
/
Makefile.light
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
MOSMLC=mosmlc
.PHONY: light
light :
sed "s/.*and type exn = exn//" Extensions/General.sig > mosml/General.sig
cat mosml/GENERAL.sig \
mosml/General.sig \
mosml/TEXT_IO.sig \
mosml/STRING.sig \
\
mosml/Timer.sml \
mosml/String.sml \
mosml/Substring.sml \
\
Extensions/General.sml \
Extensions/TextIO.sig \
Extensions/TextIO.sml \
Extensions/String.sig \
Extensions/String.sml \
\
Other/Lazy.sig \
Other/Lazy.sml \
Other/Either.sig \
Other/Either.sml \
Other/Arrow.sig \
Other/Arrow.sml \
Other/LazyList.sig \
Other/LazyList.sml \
Other/Benchmark.sig \
Other/Benchmark.sml \
Other/Show.sig \
Other/Show.sml \
Other/Pair.sig \
Other/Pair.sml \
\
DataStructures/Ordered.sig \
\
DataStructures/Set/Set.sig \
DataStructures/Set/ListSet.sml \
DataStructures/Set/Set.sml \
\
DataStructures/OrderedMap/OrderedMap.sig \
DataStructures/OrderedMap/ListOrderedMapFn.sml \
DataStructures/OrderedMap/UnbalancedOrderedMapFn.sml \
DataStructures/OrderedMap/OrderedMapFn.sml \
DataStructures/OrderedMap/Dictionary.sml \
DataStructures/OrderedMap/IntMap.sml \
DataStructures/OrderedMap/CharMap.sml \
\
TopLevel.sml \
\
Other/Pretty.sig \
Other/Pretty.sml \
Other/Layout.sig \
Other/Layout.sml \
\
> MyLib.sml
$(MOSMLC) -c -P full \
Random.ui \
-toplevel MyLib.sml
# rm MyLib.sml