-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMakefile
93 lines (71 loc) · 2 KB
/
Makefile
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
all: shen
MO = \
compiled/core.kl.mo \
compiled/macros.kl.mo \
compiled/sequent.kl.mo \
compiled/track.kl.mo \
compiled/writer.kl.mo \
compiled/declarations.kl.mo \
compiled/prolog.kl.mo \
compiled/sys.kl.mo \
compiled/t-star.kl.mo \
compiled/yacc.kl.mo \
compiled/load.kl.mo \
compiled/reader.kl.mo \
compiled/toplevel.kl.mo \
compiled/types.kl.mo
KL = \
kl/core.kl \
kl/macros.kl \
kl/sequent.kl \
kl/track.kl \
kl/writer.kl \
kl/declarations.kl \
kl/prolog.kl \
kl/sys.kl \
kl/t-star.kl \
kl/yacc.kl \
kl/load.kl \
kl/reader.kl \
kl/toplevel.kl \
kl/types.kl
compiled/core.kl.mo: compiled/core.kl.ms
waspc compiled/core.kl.ms
compiled/macros.kl.mo: compiled/macros.kl.ms
waspc compiled/macros.kl.ms
compiled/sequent.kl.mo: compiled/sequent.kl.ms
waspc compiled/sequent.kl.ms
compiled/track.kl.mo: compiled/track.kl.ms
waspc compiled/track.kl.ms
compiled/writer.kl.mo: compiled/writer.kl.ms
waspc compiled/writer.kl.ms
compiled/declarations.kl.mo: compiled/declarations.kl.ms
waspc compiled/declarations.kl.ms
compiled/prolog.kl.mo: compiled/prolog.kl.ms
waspc compiled/prolog.kl.ms
compiled/sys.kl.mo: compiled/sys.kl.ms
waspc compiled/sys.kl.ms
compiled/t-star.kl.mo: compiled/t-star.kl.ms
waspc compiled/t-star.kl.ms
compiled/yacc.kl.mo: compiled/yacc.kl.ms
waspc compiled/yacc.kl.ms
compiled/load.kl.mo: compiled/load.kl.ms
waspc compiled/load.kl.ms
compiled/reader.kl.mo: compiled/reader.kl.ms
waspc compiled/reader.kl.ms
compiled/toplevel.kl.mo: compiled/toplevel.kl.ms
waspc compiled/toplevel.kl.ms
compiled/types.kl.mo: compiled/types.kl.ms
waspc compiled/types.kl.ms
compiler.mo: compiler.ms
waspc declarations.ms
driver.mo: driver.ms primitives.ms declarations.ms compiler.ms
waspc driver.ms
overwrites-internal.mo: overwrites-internal.ms
waspc overwrites-internal.ms
primitives.mo: primitives.ms
waspc primitives.ms
shen.mo: shen.ms $(MO)
waspc shen.ms
shen: compiler.mo driver.mo overwrites-internal.mo primitives.mo shen.mo $(MO) $(KL)
waspc -exe shen shen.ms