>>>>> "Ben" == Ben McCart <b...@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. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
