diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-24 02:12:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-24 02:12:24 +0200 |
| commit | 2267db58341ccd5beed74da61e8830faa004af69 (patch) | |
| tree | 164e1189d5754bbce71da0524fbb2a5a7a0f4aeb | |
| parent | fa71ae89acf319696975a79472272aa30975af7f (diff) | |
Added "make config-gcc-4.7"
| -rw-r--r-- | Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 |