2 REQUIRES = mysql helm-cic_proof_checking
7 metadataExtractor.mli \
9 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.opt: test.ml $(PACKAGE).cmxa
20 $(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $<
21 test_query: test_query.ml $(PACKAGE).cma
22 $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
24 include ../Makefile.common