diff options
| author | Kathy Gray | 2013-07-12 19:11:03 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-07-12 19:11:03 +0100 |
| commit | ed9d7672cd04fbc60ef731996c51a748300dd8f6 (patch) | |
| tree | 33f483029e46fd63b000b92f5119b02c531ab4a0 /src/Makefile | |
| parent | ad75b5918d36b0e29631b1d8798305f04875363c (diff) | |
Parser in progress, and more src files for plumbing parsing, lexing and eventual type checking together
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 |