From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 24 Jul 2014 00:12:24 +0000 (+0200)
Subject: Added "make config-gcc-4.7"
X-Git-Tag: yosys-0.4~462
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2267db58341ccd5beed74da61e8830faa004af69;p=yosys.git

Added "make config-gcc-4.7"
---

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