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