PACKAGE = metadata
REQUIRES = mysql helm-cic_proof_checking helm-hmysql
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 all_extractor
opt: opt_table_creator opt_extractor

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

all_extractor:
	make -C extractor/ all
opt_extractor:
	make -C extractor/ opt

clean: clean_table_creator clean_extractor

clean_table_creator:
	make -C table_creator/ clean
	
clean_extractor:
	make -C extractor/ clean