diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 12:52:40 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 1fce0acbf4498595e3901a6f7fdbe429587e3ef0 (patch) | |
| tree | b0a925e1de936f9b19369c18780a7492eb163f48 | |
| parent | 415232f18a08f5808bcf1582b374e0b7591c0c32 (diff) | |
| download | klee-1fce0acbf4498595e3901a6f7fdbe429587e3ef0.tar.gz | |
[CMake] If CMP0037 policy is available set it to NEW so that we
disallow using reserved target names.
| -rw-r--r-- | CMakeLists.txt | 5 |
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") |