portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cmake: record all disabled options

Browse source 
Before this change, options that were hidden from the cmake-gui due to
unsatisfied config_choice conditions were not recorded in
gen_config.{yaml,json,h}. After this change, these hidden options are
recorded as disabled.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale 2025-10-22 04:06:31 -07:00 committed by Gerwin Klein
parent f9eb65c9a5
commit d310f5f137
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tools/helpers.cmake
View file

@ -493,6 +493,7 @@ function(config_choice optionname configname doc)
else()
# Remove this config as it's not valid
unset(${option_cache} CACHE)
cfg_str_add_disabled(local_config_string ${option_config})
endif()
endforeach()
if(NOT found_current)