test branch

[helm.git] / helm / ocaml / library / Makefile

diff --git a/helm/ocaml/library/Makefile b/helm/ocaml/library/Makefile
new file mode 100644 (file)
index 0000000..74a61ae
--- /dev/null
+++ b/helm/ocaml/library/Makefile
@@ -0,0 +1,19 @@
+PACKAGE = library
+PREDICATES =
+
+INTERFACE_FILES = \
+       cicElim.mli \
+       cicRecord.mli \
+       libraryMisc.mli \
+       libraryDb.mli \
+       coercDb.mli \
+       cicCoercion.mli \
+       coercGraph.mli \
+       librarySync.mli \
+       libraryNoDb.mli \
+       libraryClean.mli \
+       $(NULL)
+IMPLEMENTATION_FILES = \
+       $(INTERFACE_FILES:%.mli=%.ml)
+
+include ../Makefile.common