PACKAGE = metadata
REQUIRES = mysql helm-cic_proof_checking
PREDICATES =

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

include ../Makefile.common

all: all_table_creator
opt: opt_table_creator

all_table_creator:
	make -C table_creator/ all
opt_table_creator:
	make -C table_creator/ opt

clean: clean_table_creator

clean_table_creator:
	make -C table_creator/ clean
	
test: test.ml $(PACKAGE).cma
	$(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
test.opt: test.ml $(PACKAGE).cmxa
	$(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $<
test_query: test_query.ml $(PACKAGE).cma
	$(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<