From eef29f6a3164e5ded22ea690f036b5d8bd2df9c5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 22 Jan 2018 18:10:54 -0800 Subject: [PATCH] fix(build): `cmake_policy(SET CMP0054 NEW)` is only available on cmake >= 3.1 See: https://cmake.org/cmake/help/v3.1/policy/CMP0054.html --- src/CMakeLists.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index a6e5dcd309..a4a002380a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,5 +1,7 @@ cmake_minimum_required(VERSION 2.8.7) -cmake_policy(SET CMP0054 NEW) +if ((${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERSION} GREATER 3.1) OR (${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERSION} EQUAL 3.1)) + cmake_policy(SET CMP0054 NEW) +endif() project(LEAN CXX C) set(LEAN_VERSION_MAJOR 3) set(LEAN_VERSION_MINOR 3)