PACKAGE = metadata
-REQUIRES = mysql helm-cic_proof_checking
PREDICATES =
INTERFACE_FILES = \
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
+ @make -C table_creator/ all
opt_table_creator:
- make -C table_creator/ opt
+ @make -C table_creator/ opt
all_extractor:
- make -C extractor/ all
+ @make -C extractor/ all
opt_extractor:
- make -C extractor/ opt
+ @make -C extractor/ opt
clean: clean_table_creator clean_extractor
clean_table_creator:
- make -C table_creator/ clean
+ @echo " cleaning: table_creator"
+ @make -C table_creator/ clean
clean_extractor:
- make -C extractor/ clean
+ @echo " cleaning: extractor"
+ @make -C extractor/ clean