3 #CSC: saturate is broken after the huge refactoring of auto/paramodulation
5 #BINARIES=extractor table_creator utilities saturate transcript
7 BINARIES=matex matitadep probe xoa
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@%)
18 $(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))