---- On Tue, 07 May 2024 17:15:04 -0600 Peter Chubb via Devel
"Ben" == Ben McCart mailto:ben@mccart.us writes:
Ben> I have run into the following build error when running ninja to Ben> build seL4test (following instructions Ben> at: https://docs.sel4.systems/GettingStarted#setting-up-your-machine) Ben> Here is what I get for output. Any suggestions on a Ben> work-around? (Do I have the wrong version of a python tool or Ben> library?) -- On a clean install of Ubuntu Jammy everything works, using gcc 11.2.0 My suspicion is that you're not using this or a more recent GCC version. In the past (see https://github.com/seL4/seL4/pull/535 ) we've seen this error because the regex in the circular_includes.py script didn't match the format for file inclusion produced by the compiler. Please check your gcc version. --- My GCC version is 11.4.0, I gave up the manual setup approach and just pulled the trustworthysystems/sel4 image from docker-hub and am using that to build and run the seL4test without any trouble. I'll just use the docker containers for my investigation for now.