* Part of matita that used to deal with the library moved into ocaml/library

[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..e50f03e
--- /dev/null
+++ b/helm/ocaml/library/Makefile
@@ -0,0 +1,14 @@
+PACKAGE = library
+PREDICATES =
+
+INTERFACE_FILES = \
+       libraryMisc.mli \
+       libraryDb.mli \
+       coercDb.mli \
+       librarySync.mli \
+       libraryClean.mli \
+       $(NULL)
+IMPLEMENTATION_FILES = \
+       $(INTERFACE_FILES:%.mli=%.ml)
+
+include ../Makefile.common