about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-12-19 12:52:40 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2017-01-16 22:45:05 +0000
commit1fce0acbf4498595e3901a6f7fdbe429587e3ef0 (patch)
treeb0a925e1de936f9b19369c18780a7492eb163f48 /CMakeLists.txt
parent415232f18a08f5808bcf1582b374e0b7591c0c32 (diff)
downloadklee-1fce0acbf4498595e3901a6f7fdbe429587e3ef0.tar.gz
[CMake] If CMP0037 policy is available set it to NEW so that we
disallow using reserved target names.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 11c7e81b..80224283 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -30,6 +30,11 @@ if (POLICY CMP0042)
   cmake_policy(SET CMP0042 NEW)
 endif()
 
+if (POLICY CMP0037)
+  # Disallow reserved target names
+  cmake_policy(SET CMP0037 NEW)
+endif()
+
 # This overrides the default flags for the different CMAKE_BUILD_TYPEs
 set(CMAKE_USER_MAKE_RULES_OVERRIDE_C
   "${CMAKE_CURRENT_SOURCE_DIR}/cmake/c_flags_override.cmake")