2 REQUIRES = mysql helm-cic_proof_checking
6 metadataExtractor.mli \
9 metadataConstraints.mli
10 IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
11 EXTRA_OBJECTS_TO_INSTALL =
12 EXTRA_OBJECTS_TO_CLEAN =
16 test: test.ml $(PACKAGE).cma
17 $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
18 test_query: test_query.ml $(PACKAGE).cma
19 $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
21 include ../Makefile.common