From 579b914d78a4d72cd5c433148e0d82af5ecbde64 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 8 May 2017 10:02:09 -0700
Subject: [PATCH] add configuration per Dan Liew's comment
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
CMakeLists.txt | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index de64a6179..7983b45bc 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -212,6 +212,16 @@ endif()
################################################################################
include(${CMAKE_SOURCE_DIR}/cmake/z3_add_cxx_flag.cmake)
+################################################################################
+# C++ language version
+################################################################################
+# FIXME: Use CMake's own mechanism for selecting language version
+if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang"))
+ z3_add_cxx_flag("-std=c++11" REQUIRED)
+else()
+ message(AUTHOR_WARNING "Not setting C++ language version for compiler")
+endif()
+
################################################################################
# Platform detection
################################################################################
@@ -325,16 +335,6 @@ if (("${TARGET_ARCHITECTURE}" STREQUAL "x86_64") OR ("${TARGET_ARCHITECTURE}" ST
unset(SSE_FLAGS)
endif()
-################################################################################
-# C++ language version
-################################################################################
-# FIXME: Use CMake's own mechanism for selecting language version
-if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang"))
- z3_add_cxx_flag("-std=c++11" REQUIRED)
-else()
- message(AUTHOR_WARNING "Not setting C++ language version for compiler")
-endif()
-
# FIXME: Remove "x.." when CMP0054 is set to NEW