[1/218] Generate dummy headers for prune compilation [2/218] Creating C input file for preprocessor [3/218] Building C object libsel4/CMakeFiles/libsel4_shared_types_gen_pbf_temp_lib.dir/libsel4_shared_types_gen_pbf_temp.c.obj [4/218] Generating generated/shared_types_gen/shared_types.pbf [5/218] Generating from /home/drichards/seL4test/build/libsel4/generated/shared_types_gen/shared_types.pbf FAILED: libsel4/include/sel4/shared_types_gen.h cd /home/drichards/seL4test/build/libsel4 && python /home/drichards/seL4test/kernel/tools/bitfield_gen.py --environment libsel4 /home/drichards/seL4test/build/libsel4/generated/shared_types_gen/shared_types.pbf /home/drichards/seL4test/build/libsel4/include/sel4/shared_types_gen.h Traceback (most recent call last): File "/home/drichards/seL4test/kernel/tools/bitfield_gen.py", line 31, in import lex File "/home/drichards/seL4test/kernel/tools/lex.py", line 46, in from past.builtins import cmp ImportError: No module named past.builtins [6/218] Generate invocation header gen_headers/arch/api/sel4_invocation.h [7/218] Generate invocation header gen_headers/api/invocation.h [8/218] Concatenating C files [9/218] Generate invocation header gen_headers/arch/api/invocation.h [10/218] Generate syscall invocations ninja: build stopped: subcommand failed.