added helm-metadata module

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

diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
new file mode 100644 (file)
index 0000000..5acf3b8
--- /dev/null
+++ b/helm/ocaml/metadata/Makefile
@@ -0,0 +1,15 @@
+PACKAGE = metadata
+REQUIRES = dbi helm-cic_proof_checking
+PREDICATES =
+
+INTERFACE_FILES = metadataExtractor.mli metadataPp.mli metadataDb.mli
+IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
+EXTRA_OBJECTS_TO_INSTALL =
+EXTRA_OBJECTS_TO_CLEAN =
+
+all:
+
+test: test.ml metadata.cma
+       $(OCAMLFIND) ocamlc -thread -package dbi.mysql,helm-metadata -linkpkg -o $@ $<
+
+include ../Makefile.common