Added "make config-gcc-4.7"

diff --git a/Makefile b/Makefile
index 94b8ad4a6ae3d5b11070fe2fb9a3ff3fab1b5d82..10bd9407ef41f7cd0f0597bc84ce25056748dd1b 100644 (file)
--- 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