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)
+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 =
-all:
+include ../Makefile.common
-test: test.ml metadata.cma
- $(OCAMLFIND) ocamlc -thread -package dbi.mysql,helm-metadata -linkpkg -o $@ $<
+all: all_table_creator all_extractor
+opt: opt_table_creator opt_extractor
-include ../Makefile.common
+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:
+ @echo " cleaning: table_creator"
+ @make -C table_creator/ clean
+
+clean_extractor:
+ @echo " cleaning: extractor"
+ @make -C extractor/ clean
+