matita/components/binaries/Makefile

   1 H=@
   2
   3 #CSC: saturate is broken after the huge refactoring of auto/paramodulation
   4 #CSC: by Andrea
   5 #BINARIES=extractor  table_creator  utilities saturate
   6 #BINARIES=transcript
   7
   8 all: $(BINARIES:%=rec@all@%)
   9 opt: $(BINARIES:%=rec@opt@%)
  10 depend: $(BINARIES:%=rec@depend@%)
  11 depend.opt: $(BINARIES:%=rec@depend.opt@%)
  12 install: $(BINARIES:%=rec@install@%)
  13 uninstall: $(BINARIES:%=rec@uninstall@%)
  14 clean: $(BINARIES:%=rec@clean@%)
  15
  16 rec@%:
  17         $(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
  18