diff --git a/GMLMIP-0.1/config.mk b/GMLMIP-0.1/config.mk
new file mode 100644
index 0000000000000000000000000000000000000000..9b5d1ab09da6e141d8d07225fa3ec4abf8dd22b2
--- /dev/null
+++ b/GMLMIP-0.1/config.mk
@@ -0,0 +1,7 @@
+
+BISON = bison
+LEX = flex
+GCC = g++
+
+GCCFLAGS = -Wall -Wno-deprecated
+
diff --git a/GMLMIP-0.1/formulas/makefile b/GMLMIP-0.1/formulas/makefile
index 59be1036be8c31300dedac35c7df6f455f760a49..f2465b1a0a23f29f993a8f8708f71b55175569f6 100644
--- a/GMLMIP-0.1/formulas/makefile
+++ b/GMLMIP-0.1/formulas/makefile
@@ -1,5 +1,4 @@
-GCC = g++
-GCCFLAGS = -Wall -Wno-deprecated
+include ../config.mk
 
 all: formula.o PML_formula.o GML_formula.o rational.o satisfyingassignment.o
 
diff --git a/GMLMIP-0.1/makefile b/GMLMIP-0.1/makefile
index 41b0b348d496707461b1785c5212678a11dd0625..1b07379e9ef1476bf3decbf343953ddcc5522282 100644
--- a/GMLMIP-0.1/makefile
+++ b/GMLMIP-0.1/makefile
@@ -1,5 +1,5 @@
-GCC = g++
-GCCFLAGS = -Wall -Wno-deprecated
+
+include config.mk
 
 POBJS = ./parser/lex.yy.o ./parser/mlf-parser.tab.o ./parser/mlf-driver.o
 FOBJS = ./formulas/formula.o ./formulas/GML_formula.o ./formulas/PML_formula.o ./formulas/rational.o ./formulas/satisfyingassignment.o
diff --git a/GMLMIP-0.1/parser/makefile b/GMLMIP-0.1/parser/makefile
index 0f9ca9428baabf058865e9d0971e81ad4e85a4f7..041bff3f9f9efa7b6dc00ef84f04ff721560f579 100644
--- a/GMLMIP-0.1/parser/makefile
+++ b/GMLMIP-0.1/parser/makefile
@@ -1,8 +1,4 @@
-BISON = bison
-LEX = flex
-GCC = g++
-
-GCCFLAGS = -Wall -Wno-deprecated
+include ../config.mk
 
 .PHONY: all clean
 
diff --git a/GMLMIP-0.1/rules/makefile b/GMLMIP-0.1/rules/makefile
index cac0ed3c23d00f0ef0294286da03f77914fc8840..0a1891feb73bb5e74bafd6ee30a3f57b26730c9a 100644
--- a/GMLMIP-0.1/rules/makefile
+++ b/GMLMIP-0.1/rules/makefile
@@ -1,5 +1,4 @@
-GCC = g++
-GCCFLAGS = -Wall -Wno-deprecated
+include ../config.mk
 
 all: premise.o GML_premise.o PML_premise.o valuation.o setofconclusions.o sizefunctions.o radixtree.o