cmake: allow setting NANOPB_SRC_ROOT_FOLDER

According to the CMake documentation the keyword INTERNAL implies FORCE, but the CMake implementation seems broken and does not enforce this in all cases. This can lead to rather strange behavior which path is used in the end. More details can be found at https://gitlab.kitware.com/cmake/cmake/-/issues/22734. Signed-off-by: Axel Heider <[email protected]>
seL4 · Apr 8, 2024 · 2cfdfa5 · 2cfdfa5
1 parent 7450983
commit 2cfdfa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.cmake b/settings.cmake
@@ -17,7 +17,7 @@ list(
         ${project_modules}
 )
 
-set(NANOPB_SRC_ROOT_FOLDER "${project_dir}/nanopb" CACHE INTERNAL "")
+set(NANOPB_SRC_ROOT_FOLDER "${project_dir}/nanopb" CACHE STRING "NanoPB Folder location")
 set(OPENSBI_PATH "${project_dir}/tools/opensbi" CACHE STRING "OpenSBI Folder location")
 
 set(SEL4_CONFIG_DEFAULT_ADVANCED ON)