diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/src/Makefile b/src/Makefile index ea1a47ae..59f9165c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,21 +1,15 @@ -.PHONY: all doc doc-pdf doc-dot clean +.PHONY: all test clean -all: - ocamlbuild main.native - $(MAKE) -C lem_interp +all: main.native test -doc: - mkdir -p html-doc - ocamldoc -I _build/ *.mli ulib/*.mli -sort -html -d html-doc +.PHONY: main.native +main.native: + ocamlbuild main.native -doc-pdf: - mkdir -p tex-doc - ocamldoc -I _build/ *.mli -latex -sort -d tex-doc -o tex-doc/lem-doc.tex; true - cd tex-doc; pdflatex lem-doc.tex +TESTS=test/test1.native -doc-dot: - ocamldoc -I _build/ *.ml *.mli ulib/*.ml -dot -sort -d tex-doc -dot-reduce -o dep.dot; true - dot -Tpdf -o dep.pdf dep.dot +test: + ocamlbuild $(TESTS) clean: -ocamlbuild -clean |