Remove redundancy from makefiles

GMLMIP-0.1/config.mk

+
+BISON = bison
+LEX = flex
+GCC = g++
+
+GCCFLAGS = -Wall -Wno-deprecated
+

GMLMIP-0.1/formulas/makefile

-GCC = g++
-GCCFLAGS = -Wall -Wno-deprecated
+include ../config.mk
 
 all: formula.o PML_formula.o GML_formula.o rational.o satisfyingassignment.o
 

GMLMIP-0.1/makefile

-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

GMLMIP-0.1/parser/makefile

-BISON = bison
-LEX = flex
-GCC = g++
-
-GCCFLAGS = -Wall -Wno-deprecated
+include ../config.mk
 
 .PHONY: all clean
 

GMLMIP-0.1/rules/makefile

-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