-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
52 lines (31 loc) · 957 Bytes
/
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
#load "str.cma"
TARGET = run
all: $(TARGET)
$(TARGET): util.cmo z3_translator.cmo lexer.cmo parser.cmo calc.cmo simplify.cmo solve.cmo main.cmo
ocamlc -o $@ $^
util.cmo : util.ml
ocamlc -c util.ml
z3_translator.cmo : z3_translator.ml
ocamlfind ocamlc -c -linkpkg -package str -package z3 z3_translator.ml
calc.cmo : calc.ml
ocamlc -c calc.ml
simplify.cmo : simplify.ml
ocamlfind ocamlc -linkpkg -package z3 -c simplify.ml
solve.cmo : solve.ml
ocamlfind ocamlc -linkpkg -package z3 -c solve.ml
parser.ml: parser.mly calc.cmo
ocamlyacc parser.mly
parser.mli: parser.mly
ocamlyacc parser.mly
parser.cmi: parser.mli
ocamlc -c parser.mli
parser.cmo: parser.ml parser.cmi
ocamlc -c parser.ml
main.cmo : calc.cmo main.ml
ocamlfind ocamlc -linkpkg -package z3 -c main.ml
lexer.cmo: lexer.ml
ocamlc -c lexer.ml
lexer.ml: lexer.mll parser.cmo
ocamllex lexer.mll
clean:
rm -f *.cmx *.cmi parser.mli parser.ml lexer.ml run *.o *.cmo