PACKAGE = metadata
REQUIRES = dbi helm-cic_proof_checking
PREDICATES =

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

all:

test: test.ml metadata.cma
	$(OCAMLFIND) ocamlc -thread -package dbi.mysql,helm-metadata -linkpkg -o $@ $<

include ../Makefile.common