]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/hgdome/Makefile
test branch
[helm.git] / helm / ocaml / hgdome / Makefile
1 PACKAGE = hgdome
2
3 # modules which have both a .ml and a .mli
4 INTERFACE_FILES =               \
5         domMisc.mli             \
6         xml2Gdome.mli           \
7         $(NULL)
8
9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
10
11 include ../Makefile.common