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