diff --git a/GMLMIP-0.1/makefile b/GMLMIP-0.1/makefile index 1b07379e9ef1476bf3decbf343953ddcc5522282..4d68d869052323cdf6dc7db07ef08d9289ef2953 100644 --- a/GMLMIP-0.1/makefile +++ b/GMLMIP-0.1/makefile @@ -11,18 +11,24 @@ formulas/formula.h \ formulas/satisfyingassignment.h \ parser/lex.yy.h -.PHONY: all clean parser formulas rules +.PHONY: all clean parser/% formulas/% rules/% all: main onestep -parser/%: - make -C parser/ $(@:parser/%=%) +.PHONY: phony +# don't do anything here +phony: + @: -formulas/%: - make -C formulas/ $(@:formulas/%=%) -rules/%: - make -C rules/ $(@:rules/%=%) +parser/%: phony + @make --no-print-directory -C parser/ $(@:parser/%=%) + +formulas/%: phony + @make --no-print-directory -C formulas/ $(@:formulas/%=%) + +rules/%: phony + @make --no-print-directory -C rules/ $(@:rules/%=%) main: main.o $(POBJS) $(FOBJS) $(ROBJS)