diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2016-01-18 10:13:54 -0500 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2016-01-18 10:13:54 -0500 |
| commit | 9c811c6ba6e587d0e36ee331129911a39299ee42 (patch) | |
| tree | 78b51e6b7bcb4271026f3a27d70396cdad3e862d | |
| parent | f5ae5fa799fd6f2f25c244d2342802b6acb24e95 (diff) | |
| parent | 1eaa2227e9600920f5cf3c94faa0c32af13e1e84 (diff) | |
| download | rneovim-9c811c6ba6e587d0e36ee331129911a39299ee42.tar.gz rneovim-9c811c6ba6e587d0e36ee331129911a39299ee42.tar.bz2 rneovim-9c811c6ba6e587d0e36ee331129911a39299ee42.zip | |
Merge pull request #4038 from sethjackson/build-type-cache
Defer setting CMAKE_BUILD_TYPE CACHE property
| -rw-r--r-- | CMakeLists.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 84e824bd6a..6c3f4d927d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -40,17 +40,17 @@ if(CMAKE_SYSTEM_NAME STREQUAL "Darwin") set(USE_FNAME_CASE TRUE) endif() -# Set available build types for CMake GUIs. -# A different build type can still be set by -DCMAKE_BUILD_TYPE=... -set_property(CACHE CMAKE_BUILD_TYPE PROPERTY - STRINGS "Debug" "Dev" "Release" "MinSizeRel" "RelWithDebInfo") - # Set default build type. if(NOT CMAKE_BUILD_TYPE) message(STATUS "CMAKE_BUILD_TYPE not given, defaulting to 'Dev'.") set(CMAKE_BUILD_TYPE "Dev" CACHE STRING "Choose the type of build." FORCE) endif() +# Set available build types for CMake GUIs. +# A different build type can still be set by -DCMAKE_BUILD_TYPE=... +set_property(CACHE CMAKE_BUILD_TYPE PROPERTY + STRINGS "Debug" "Dev" "Release" "MinSizeRel" "RelWithDebInfo") + # If not in a git repo (e.g., a tarball) these tokens define the complete # version string, else it is combined with the result of `git describe`. set(NVIM_VERSION_MAJOR 0) |