]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/binaries/Makefile
one more step toward release and bench reorganization
[helm.git] / helm / software / components / binaries / Makefile
1 H=@
2
3 BINARIES=extractor  table_creator  utilities
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