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 transcript
   6 #FG: my binaries
   7 BINARIES=mac matex matitadep probe xoa
   8
   9 all: $(BINARIES:%=rec@all@%)
  10 opt: $(BINARIES:%=rec@opt@%)
  11 depend: $(BINARIES:%=rec@depend@%)
  12 depend.opt: $(BINARIES:%=rec@depend.opt@%)
  13 install: $(BINARIES:%=rec@install@%)
  14 uninstall: $(BINARIES:%=rec@uninstall@%)
  15 clean: $(BINARIES:%=rec@clean@%)
  16
  17 rec@%:
  18         $(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
  19