X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fmetadata%2FMakefile;h=6c9aa763c535a934c394beaa95ef425d79813301;hb=6449c9266eff9a5a7af7e7c13755abb5a20d61c3;hp=d02d021a5b3844e6137924de968e3f26be100f8f;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git diff --git a/components/metadata/Makefile b/components/metadata/Makefile index d02d021a5..6c9aa763c 100644 --- a/components/metadata/Makefile +++ b/components/metadata/Makefile @@ -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 -