2 REQUIRES = mysql helm-cic_proof_checking helm-hmysql
8 metadataExtractor.mli \
10 metadataConstraints.mli \
12 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
13 EXTRA_OBJECTS_TO_INSTALL =
14 EXTRA_OBJECTS_TO_CLEAN =
16 include ../Makefile.common
18 all: all_table_creator all_extractor
19 opt: opt_table_creator opt_extractor
22 make -C table_creator/ all
24 make -C table_creator/ opt
27 make -C extractor/ all
29 make -C extractor/ opt
31 clean: clean_table_creator clean_extractor
34 make -C table_creator/ clean
37 make -C extractor/ clean