branch for universe

[helm.git] / components / library / Makefile

diff --git a/components/library/Makefile b/components/library/Makefile
new file mode 100644 (file)
index 0000000..e3c921d
--- /dev/null
+++ b/components/library/Makefile
@@ -0,0 +1,20 @@
+PACKAGE = library
+PREDICATES =
+
+INTERFACE_FILES = \
+       librarian.mli \
+       cicElim.mli \
+       cicRecord.mli \
+       libraryMisc.mli \
+       libraryDb.mli \
+       coercDb.mli \
+       cicCoercion.mli \
+       librarySync.mli \
+       libraryClean.mli \
+       $(NULL)
+IMPLEMENTATION_FILES = \
+       refinementTool.ml \
+       $(INTERFACE_FILES:%.mli=%.ml)
+
+include ../../Makefile.defs
+include ../Makefile.common