From b1b3ac5380daba0261eeb279a942c8c829489e14 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Sun, 26 Jan 2014 02:13:06 +0100
Subject: [PATCH] makefile: make rules phony to enforce rebuild

Make some GMLMIP makefile rules as phony to enforce recompilation of
some dependency object files.
---
 GMLMIP-0.1/makefile | 20 +++++++++++++-------
 1 file changed, 13 insertions(+), 7 deletions(-)

diff --git a/GMLMIP-0.1/makefile b/GMLMIP-0.1/makefile
index 1b07379..4d68d86 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)
-- 
GitLab