PACKAGE = metadata
-REQUIRES = dbi helm-cic_proof_checking
+REQUIRES = mysql helm-cic_proof_checking
PREDICATES =
-INTERFACE_FILES = metadataExtractor.mli metadataPp.mli metadataDb.mli
-IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
+INTERFACE_FILES = \
+ metadataTypes.mli \
+ metadataExtractor.mli \
+ metadataPp.mli \
+ metadataDb.mli \
+ metadataConstraints.mli
+IMPLEMENTATION_FILES = $(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 $@ $<
+test: test.ml $(PACKAGE).cma
+ $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+test_query: test_query.ml $(PACKAGE).cma
+ $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
include ../Makefile.common