[seL4] Re: Building seL4test 12.1.0 fails on Ubuntu 22.04 (WSL2)

...

...

...

...

"Ben" == Ben McCart 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. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.