blob: 719e65a7d100fb1b58b33e200abd913234f720f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
|
