]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/library/Makefile
...
[helm.git] / helm / software / components / library / Makefile
1 PACKAGE = library
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         librarian.mli \
6         libraryMisc.mli \
7         libraryDb.mli \
8         coercDb.mli \
9         cicCoercion.mli \
10         librarySync.mli \
11         cicElim.mli \
12         cicRecord.mli \
13         cicFix.mli \
14         libraryClean.mli \
15         $(NULL)
16 IMPLEMENTATION_FILES = \
17         $(INTERFACE_FILES:%.mli=%.ml)
18
19 include ../../Makefile.defs
20 include ../Makefile.common