[seL4] Re: Standalone experiments

1 Sep 2023

      ...
...
...
...
...
"sean" == sean bruno  writes:
sean>   By not providing "Findmusllibc.cmake" in CMAKE_MODULE_PATH
sean> this project has asked CMake to find a package configuration
sean> file provided by "musllibc", but CMake did not find one.

You need to make sure that CMAKE_MODULE_PATH includes the path to
musllibc

Smething like this:

set(project_dir "${CMAKE_CURRENT_LIST_DIR}/../../")
file(GLOB project_modules ${project_dir}/projects/*)
list(
    APPEND
        CMAKE_MODULE_PATH
        ${project_dir}/kernel
        ${project_dir}/tools/seL4/cmake-tool/helpers/
        ${project_dir}/tools/seL4/elfloader-tool/
        ${project_modules}
)

in your project cmake file.

Please note, I'm a long way from being a cmake expert, and this will
probably have to be adjusted to get it right.
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.