diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Makefile b/src/Makefile index 719e65a7..ea1a47ae 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,5 +1,8 @@ +.PHONY: all doc doc-pdf doc-dot clean + all: ocamlbuild main.native + $(MAKE) -C lem_interp doc: mkdir -p html-doc @@ -14,9 +17,6 @@ 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 -debug: - ocamlbuild main.d.byte - clean: -ocamlbuild -clean -rm -rf _build |