Makefile (604B)
1 SRC = \ 2 util.ml \ 3 tsil.ml \ 4 inc_array.ml \ 5 name.ml \ 6 uniq.ml \ 7 index.ml \ 8 plicity.ml \ 9 loc.ml \ 10 node.ml \ 11 env.ml \ 12 ctx.ml \ 13 builtin.ml \ 14 concrete.ml \ 15 abstract.ml \ 16 internal.ml \ 17 value.ml \ 18 pretty.ml \ 19 error.ml \ 20 std.ml \ 21 parser.ml \ 22 lexer.ml \ 23 desugar.ml \ 24 eval.ml \ 25 quote.ml \ 26 unify.ml \ 27 elab.ml \ 28 main.ml 29 30 main: $(SRC) 31 ocamlfind ocamlc -o $@ -g -linkpkg -package zarith $^ 32 33 lexer.ml: lexer.mll 34 ocamllex lexer.mll 35 36 parser.ml: parser.mly 37 ocamlyacc -v parser.mly 38 @rm parser.mli # Hack 39 40 .PHONY: clean 41 clean: 42 rm -f main *.o *.cm* lexer.ml parser.ml parser.mli parser.output