GNUmakefile 837 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 general.mli.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

29 30 31 32 33
# ----------------------------------------------------------------------------
# Remove the files *.old and *.new that I use to log output during debugging.

clean::
	rm -f *.old *.new