X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FMakefile;h=9943237dd59be199131cf93519c1439bc364a7ca;hb=d78fbf3cface8f01d11f385757cbf47ae1866326;hp=d02d021a5b3844e6137924de968e3f26be100f8f;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/metadata/Makefile b/helm/software/components/metadata/Makefile
index d02d021a5..9943237dd 100644
--- a/helm/software/components/metadata/Makefile
+++ b/helm/software/components/metadata/Makefile
@@ -7,34 +7,12 @@ INTERFACE_FILES = \
 	metadataExtractor.mli \
 	metadataPp.mli \
 	metadataConstraints.mli \
-	metadataDb.mli 
+	metadataDb.mli \
+	metadataDeps.mli \
+	$(NULL)
 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
-