]> matita.cs.unibo.it Git - helm.git/blob - components/binaries/Makefile
added generation of quick reference card of tactic syntax
[helm.git] / 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