From 3fc08f8336c3b1676b2e89e6c86258ec6f877f4a Mon Sep 17 00:00:00 2001
From: Thomas Spenke <thomas.spenke@dlr.de>
Date: Wed, 25 Mar 2026 10:21:04 +0100
Subject: [PATCH] Bugfix: Make CMAKE_BUILD_TYPE options recognizable in ccmake
 again

---
 CMakeLists.txt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 66945282af..21faae7c4e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -98,10 +98,9 @@ if(NOT CMAKE_BUILD_TYPE AND NOT CMAKE_CONFIGURATION_TYPES)
   message(STATUS "Setting build type to '${default_build_type}' as none was specified.")
   set(CMAKE_BUILD_TYPE "${default_build_type}" CACHE
       STRING "Choose the type of build. Build types available: Release Debug RelWithDebInfo" FORCE)
-  # Set the possible values of build type for cmake-gui
-  set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS
-    "Debug" "Release" "RelWithDebInfo")
 endif()
+# Set the possible values of build type for cmake-gui
+set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS "Debug" "Release" "RelWithDebInfo")
 
 if( CMAKE_BUILD_TYPE STREQUAL "Debug" )
   # Option to generate code coverage target.