The build is indeed running in a docker container. However, I believe the directory in question "/usr/lib/gcc-cross/aarch64-linux-gnu/8/include" exists within the docker container. I can view it within the docker instance with "ls". No such directory exists on my host system. On Sun, Aug 22, 2021, at 4:10 PM, Axel Heider wrote:
Grant,
``` DeclareCAmkESComponent( Platam SOURCES ${hacl_sources} INCLUDES /usr/lib/gcc-cross/aarch64-linux-gnu/8/include ${hacl_path} ${kremlin_path} ${kremlib_path} C_FLAGS -include ${CMAKE_CURRENT_SOURCE_DIR}/hacl_config.h ) ```
The problem might be that the build is running in a docker container that does not have access to your host system. Thus, the absolute path "/usr/lib/gcc-cross/aarch64-linux-gnu/8/include" to the cross compiler there cannot be resolved. The current directory where you invoke the build will be mapped at "/host" in the contianer, so everything in the tree is accessible.
Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems