good day. I can no longer build tutorials. These used to build a month ago.
My system hasn't changed and I can still build the older ones with no
issues. I get lost trying to debug this cmake/python stuff.
./init --verbose --plat pc99 --tut hello-camkes-1
INFO:sh.command:: starting process
DEBUG:sh.command.process:.: started process
INFO:sh.command:: process
started
DEBUG:sh.command.process:.: acquiring wait lock to wait for
completion
DEBUG:sh.command.process:.: got wait lock
DEBUG:sh.command.process:.: exit code not set, waiting on pid
-- The C compiler identification is GNU 7.3.1
-- The CXX compiler identification is GNU 7.3.1
-- Check for working C compiler: /opt/rh/devtoolset-7/root/usr/bin/gcc
-- Check for working C compiler: /opt/rh/devtoolset-7/root/usr/bin/gcc --
works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /opt/rh/devtoolset-7/root/usr/bin/g++
-- Check for working CXX compiler: /opt/rh/devtoolset-7/root/usr/bin/g++ --
works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is GNU
-- Found assembler: /opt/rh/devtoolset-7/root/usr/bin/gcc
CMake Error at projects/sel4-tutorials/cmake/helpers.cmake:141 (message):
Failed to render:
PYTHONPATH=/home/john/sel4/projects/camkes/capdl/python-capdl-tool;python;/home/john/sel4/projects/sel4-tutorials/template.py;--tut-file;/home/john/sel4/projects/sel4-tutorials/tutorials/hello-camkes-1/hello-camkes-1;--out-dir;/home/john/sel4/hello-camkes-1_build/projects/sel4-tutorials/hello-camkes-1/gen;--input-files;/home/john/sel4/hello-camkes-1_build/projects/sel4-tutorials/input_files;--output-files;/home/john/sel4/hello-camkes-1_build/projects/sel4-tutorials/output_files;--arch;x86_64;;;,
Traceback (most recent call last):
File "/home/john/sel4/projects/sel4-tutorials/template.py", line 154,
in <module>
sys.exit(main())
File "/home/john/sel4/projects/sel4-tutorials/template.py", line 142,
in main
render_file(args, env, state, file)
File "/home/john/sel4/projects/sel4-tutorials/template.py", line 90, in
render_file
out_stream.write(template.render(context.get_context(args, state)))
File "/home/john/sel4/projects/sel4-tutorials/tools/context.py", line
435, in get_context
context.update(ObjectType.__members__.items())
AttributeError: type object 'ObjectType' has no attribute '__members__'
Call Stack (most recent call first):
projects/sel4-tutorials/cmake/helpers.cmake:164 (ExecuteGenerationProcess)
projects/sel4-tutorials/CMakeLists.txt:29 (GenerateTutorial)
-- Configuring incomplete, errors occurred!
See also "/home/john/sel4/hello-camkes-1_build/CMakeFiles/CMakeOutput.log".
Traceback (most recent call last):
File "./init", line 91, in <module>
File "./init", line 81, in main
File "/home/john/sel4/projects/sel4-tutorials/common.py", line 107, in
init_directories
return _init_build_directory(config, initialised, build_directory,
tute_directory, output, config_dict=config_dict)
File "/home/john/sel4/projects/sel4-tutorials/common.py", line 69, in
_init_build_directory
result = sh.cmake(args + ['..'], _cwd = directory, _out=output,
_err=output)
File "/sandbox/lib/python2.7/site-packages/sh.py", line 1427, in __call__
return RunningCommand(cmd, call_args, stdin, stdout, stderr)
File "/sandbox/lib/python2.7/site-packages/sh.py", line 774, in __init__
self.wait()
File "/sandbox/lib/python2.7/site-packages/sh.py", line 792, in wait
self.handle_command_exit_code(exit_code)
File "/sandbox/lib/python2.7/site-packages/sh.py", line 815, in
handle_command_exit_code
raise exc
sh.ErrorReturnCode_1:
RAN: /sandbox/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G
Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-camkes-1 ..
STDOUT:
STDERR:
