Fix UseRiscVOpenSBI CMake option

The "DEPENDS" should not be there and was preventing a user from setting the variable on the command line. Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · May 4, 2023 · b2e54f0 · b2e54f0
1 parent 3433f63
commit b2e54f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake-tool/helpers/rootserver.cmake b/cmake-tool/helpers/rootserver.cmake
@@ -30,7 +30,7 @@ mark_as_advanced(TLS_ROOTSERVER)
 find_file(UIMAGE_TOOL make-uimage PATHS "${CMAKE_CURRENT_LIST_DIR}" CMAKE_FIND_ROOT_PATH_BOTH)
 mark_as_advanced(UIMAGE_TOOL)
 include(CMakeDependentOption)
-cmake_dependent_option(UseRiscVOpenSBI "Use OpenSBI." ON DEPENDS "KernelArchRiscV" OFF)
+cmake_dependent_option(UseRiscVOpenSBI "Use OpenSBI." ON "KernelArchRiscV" OFF)
 
 if(UseRiscVOpenSBI)
     set(OPENSBI_PATH "${CMAKE_SOURCE_DIR}/tools/opensbi" CACHE STRING "OpenSBI Folder location")