./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: