]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/Makefile
test branch
[helm.git] / helm / ocaml / metadata / Makefile
diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
new file mode 100644 (file)
index 0000000..29ca2d3
--- /dev/null
@@ -0,0 +1,37 @@
+PACKAGE = metadata
+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
+