From 2267db58341ccd5beed74da61e8830faa004af69 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 24 Jul 2014 02:12:24 +0200
Subject: [PATCH] Added "make config-gcc-4.7"

---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Makefile b/Makefile
index 94b8ad4a6..10bd9407e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 
 CONFIG := clang-debug
 # CONFIG := gcc-debug
+# CONFIG := gcc-4.7
 # CONFIG := release
 
 # features (the more the better)
@@ -64,6 +65,11 @@ CXX = gcc
 CXXFLAGS += -std=gnu++0x -Os
 endif
 
+ifeq ($(CONFIG),gcc-4.7)
+CXX = gcc-4.7
+CXXFLAGS += -std=gnu++0x -march=native -O3
+endif
+
 ifeq ($(CONFIG),release)
 CXX = gcc
 CXXFLAGS += -std=gnu++0x -march=native -O3 -DNDEBUG
@@ -208,6 +214,9 @@ config-clang-debug: clean
 config-gcc-debug: clean
 	echo 'CONFIG := gcc-debug' > Makefile.conf
 
+config-gcc-4.7: clean
+	echo 'CONFIG := gcc-4.7' > Makefile.conf
+
 config-release: clean
 	echo 'CONFIG := release' > Makefile.conf
 
-- 
2.30.2