]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/Makefile
more work for the release
[helm.git] / components / metadata / Makefile
index d02d021a5b3844e6137924de968e3f26be100f8f..6c9aa763c535a934c394beaa95ef425d79813301 100644 (file)
@@ -14,27 +14,3 @@ 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
-