diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 00000000..719e65a7 --- /dev/null +++ b/src/Makefile @@ -0,0 +1,24 @@ +all: + ocamlbuild main.native + +doc: + mkdir -p html-doc + ocamldoc -I _build/ *.mli ulib/*.mli -sort -html -d html-doc + +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 + +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 + -rm -rf html-doc + -rm -rf tex-doc |