better nlet rec boxing

[helm.git] / helm / software / components / metadata / Makefile

diff --git a/helm/software/components/metadata/Makefile b/helm/software/components/metadata/Makefile
index d02d021a5b3844e6137924de968e3f26be100f8f..9943237dd59be199131cf93519c1439bc364a7ca 100644 (file)
--- 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
-