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