max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(build): cmake_policy(SET CMP0054 NEW) is only available on cmake >= 3.1

Browse source 
See: https://cmake.org/cmake/help/v3.1/policy/CMP0054.html
This commit is contained in:
Leonardo de Moura 2018-01-22 18:10:54 -08:00
parent 0d820fa23d
commit eef29f6a31
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -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)