From 0b085fb9c373d2caac00b3ebd243d91d4bbd5fbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Sat, 25 Jan 2014 10:36:52 +0100
Subject: [PATCH] GMLMIP: Makefile optimizations

---
 GMLMIP-0.1/makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/GMLMIP-0.1/makefile b/GMLMIP-0.1/makefile
index 1d1263e..28c7da0 100644
--- a/GMLMIP-0.1/makefile
+++ b/GMLMIP-0.1/makefile
@@ -20,10 +20,10 @@ rules:
 	make -C rules
 
 main: main.o $(POBJS) $(FOBJS) $(ROBJS)
-	$(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) -lbdd -lm -lglpk main.o -o main
+	$(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) -lbdd -lm -lglpk $< -o $@
 
 main.o: main.cpp ./parser/mlf-driver.h ./formulas/formula.h ./formulas/satisfyingassignment.h $(SUBDIRS)
-	$(GCC) $(GCCFLAGS) -c main.cpp
+	$(GCC) $(GCCFLAGS) -c $< -o $@
 
 clean:
 	rm -rf *.o main
-- 
GitLab