> 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: -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: -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C
> ../projects/sel4-tutorials/settings.cmake
> /home/flo/sel4-tutorials-manifest/hello-world'>. [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: -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: -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C
> ../projects/sel4-tutorials/settings.cmake
> /home/flo/sel4-tutorials-manifest/hello-world'>. [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: -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C
> ../projects/sel4-tutorials/settings.cmake
> /home/flo/sel4-tutorials-manifest/hello-world'>. [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: -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C
> ../projects/sel4-tutorials/settings.cmake
> /home/flo/sel4-tutorials-manifest/hello-world'>. [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
> 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
