PACKAGE = metadata
REQUIRES = mysql helm-cic_proof_checking
PREDICATES =

INTERFACE_FILES = \
	metadataExtractor.mli \
	metadataPp.mli \
	metadataDb.mli \
	metadataConstraints.mli
IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =

all:

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