> 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:<Command '/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'>: starting process > DEBUG:sh.command.process:<Command '/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'>.<Process 4805 > [b'/usr/local/bin/cmake', > b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', > b'-DTUTORIAL_DIR=hello-world', b'-C', > b'../projects/sel4-tutorials/settings.cmake', > b'/home/flo/sel4-tutorials-manifest/hello-world']>: started process > INFO:sh.command:<Command '/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', pid 4805>: process started > DEBUG:sh.command.process:<Command '/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'>.<Process 4805 > [b'/usr/local/bin/cmake', > b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', > b'-DTUTORIAL_DIR=hello-world', b'-C', > b'../projects/sel4-tutorials/settings.cmake', > b'/home/flo/sel4-tutorials-manifest/hello-world']>: acquiring wait lock to > wait for completion > DEBUG:sh.command.process:<Command '/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'>.<Process 4805 > [b'/usr/local/bin/cmake', > b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', > b'-DTUTORIAL_DIR=hello-world', b'-C', > b'../projects/sel4-tutorials/settings.cmake', > b'/home/flo/sel4-tutorials-manifest/hello-world']>: got wait lock > DEBUG:sh.command.process:<Command '/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'>.<Process 4805 > [b'/usr/local/bin/cmake', > b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', > b'-DTUTORIAL_DIR=hello-world', b'-C', > b'../projects/sel4-tutorials/settings.cmake', > b'/home/flo/sel4-tutorials-manifest/hello-world']>: 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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
