diff options
| author | Gabriel Kerneis | 2013-10-08 16:31:25 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-08 16:32:11 +0100 |
| commit | 7fc7628a981ba48b1bd017c7d8d2e4a68e428c65 (patch) | |
| tree | 65525e1c031fadd8b85f80026f4f16999f162015 /src/Makefile | |
| parent | b1111c9c28e61ae1bb35a156ba1af74ca01bfc70 (diff) | |
More makefile infrastructure
You need the latest version of Lem for this to work
(requires lem/ocaml-lib/META.lem).
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 |