components/binaries/Makefile

   1 H=@
   2
   3 BINARIES=extractor  table_creator  utilities saturate tptp2grafite
   4
   5 all: $(BINARIES:%=rec@all@%)
   6 opt: $(BINARIES:%=rec@opt@%)
   7 depend: $(BINARIES:%=rec@depend@%)
   8 depend.opt: $(BINARIES:%=rec@depend.opt@%)
   9 install: $(BINARIES:%=rec@install@%)
  10 uninstall: $(BINARIES:%=rec@uninstall@%)
  11 clean: $(BINARIES:%=rec@clean@%)
  12
  13 rec@%:
  14         $(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
  15