Hello, I tried to initialize the simple hello-word example and I get the following error. Maybe someone has an idea why the CmakeLists is not generated. I believe what you are seeing is caused by this issue: https://github.com/SEL4PROJ/sel4-tutorials/issues/40 The current work-around is to use an older version of CMake than 3.16.0. You can follow that issue for a notification when the underlying problem is fixed.
./init --tut hello-world --verbose 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 loading initial cache file ../projects/sel4-tutorials/settings.cmake -- Found capdl: /home/flo/sel4-tutorials-manifest/projects/capdl -- Found camkes-tool: /home/flo/sel4-tutorials-manifest/projects/sel4-tutorials CMake Error: The source directory "/home/flo/sel4-tutorials-manifest/hello-world" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI. Traceback (most recent call last): File "./init", line 96, in <module> File "./init", line 85, in main File "/home/flo/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 106, in init_directories return _init_build_directory(config, initialised, build_directory, tute_directory, output, config_dict=config_dict) File "/home/flo/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 74, in _init_build_directory return sh.cmake(args + [tute_directory], _cwd=directory, _out=output, _err=output) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 774, in __init__ self.wait() File "/usr/local/lib/python3.6/dist-packages/sh.py", line 792, in wait self.handle_command_exit_code(exit_code) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 815, in handle_command_exit_code raise exc sh.ErrorReturnCode_1: RAN: /usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world STDOUT: STDERR: Thanks and Regards Florian