GNUmakefile 635 Bytes
Newer Older
1
2
# This is a development Makefile, which is not shipped.

fpottier's avatar
fpottier committed
3
.PHONY: api clean
4
5
6

-include Makefile

fpottier's avatar
fpottier committed
7
# ----------------------------------------------------------------------------
8
# When developing, the standard library path is the current directory.
9
# ocamlfind is assumed.
10
11
12

installation.ml:
	echo "let libdir = \""`pwd`"/\"" > $@
13
	echo "let ocamlfind = true" >> $@
14

fpottier's avatar
fpottier committed
15
# ----------------------------------------------------------------------------
16
17
# Pretty-printing the MenhirLib.Convert API.

18
api: convert.mli.html IncrementalEngine.ml.html
19
20
21
22

%.mli.html: %.mli
	caml2html -nf $<

23
24
25
%.ml.html: %.ml
	caml2html -nf $<

26
clean::
fpottier's avatar
fpottier committed
27
	rm -f *.mli.html
28