]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/Makefile
added sqlStatements module (contains all CREATE TABLE/INDEX)
[helm.git] / helm / ocaml / metadata / Makefile
index 9d16a2c8da4eee6bf1529f273fd2c63f76e51d50..52fe27edd79b0e40ebab812bcf6b31c4723237f8 100644 (file)
@@ -3,6 +3,7 @@ REQUIRES = mysql helm-cic_proof_checking
 PREDICATES =
 
 INTERFACE_FILES = \
+       sqlStatements.mli \
        metadataTypes.mli \
        metadataExtractor.mli \
        metadataPp.mli \
@@ -12,8 +13,21 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =
 
-all:
+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
@@ -21,4 +35,3 @@ test.opt: test.ml $(PACKAGE).cmxa
 test_query: test_query.ml $(PACKAGE).cma
        $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
 
-include ../Makefile.common