]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/binaries/Makefile
unificatiom hints with premises
[helm.git] / helm / software / 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=extractor  table_creator  utilities transcript heights
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