i am working on sel4-tutorials for the first time .i setup my machine accordingly and then when i trying to generate the
tutorials like this "./init --tut hello-world" i keep getting an error message and dont know what to do or how to fix it .
the error was like bellowing
===================================================
abdi@abdi-HP-P-PC:~/sel4-tutorials-manifest$ ./init --tut hello-world
loading initial cache file ../settings.cmake
CMake Error: Error: generator : Ninja
Does not match the generator used previously: Unix Makefiles
Either remove the CMakeCache.txt file and CMakeFiles directory or choose a different binary directory.
Traceback (most recent call last):
File "./init", line 96, in <module>
File "./init", line 85, in main
File "/home/abdi/sel4-tutorials-manifest/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/abdi/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 75, in _init_build_directory
return sh.cmake(args + ['..'], _cwd=directory, _out=output, _err=output)
File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 1427, in __call__
return RunningCommand(cmd, call_args, stdin, stdout, stderr)
File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 774, in __init__
self.wait()
File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 792, in wait
self.handle_command_exit_code(exit_code)
File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 815, in handle_command_exit_code
raise exc
sh.ErrorReturnCode_1:
RAN: /home/abdi/.local/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world82varrcf -C ../settings.cmake ..
STDOUT:
STDERR:
======================================================================
is there someone who suggests what i should do please.
thanks