]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/library/Makefile
e50f03e93dac05952b6c57efcd9ea93820cd1123
[helm.git] / helm / ocaml / library / Makefile
1 PACKAGE = library
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         libraryMisc.mli \
6         libraryDb.mli \
7         coercDb.mli \
8         librarySync.mli \
9         libraryClean.mli \
10         $(NULL)
11 IMPLEMENTATION_FILES = \
12         $(INTERFACE_FILES:%.mli=%.ml)
13
14 include ../Makefile.common