]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/Makefile
- renamed ocaml/ to components/
[helm.git] / helm / ocaml / metadata / Makefile
diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
deleted file mode 100644 (file)
index d02d021..0000000
+++ /dev/null
@@ -1,40 +0,0 @@
-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.defs
-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:
-       @echo "  cleaning: table_creator"
-       @make -C table_creator/ clean 
-       
-clean_extractor:
-       @echo "  cleaning: extractor"
-       @make -C extractor/ clean
-