Earlier I was facing similar issue. But solved by updating gcc 4.8 to gcc 7.4. $ sudo apt-get install --reinstall gcc
P.S. I am also a newbie in this seL4 thing. On Thu, Jun 20, 2019 at 5:01 AM Mcleod, Kent (Data61, Kensington NSW) <[email protected]> wrote: > > Is there a kernel folder in the directory above your build directory, > adjacent to the init script that you are calling? Can you instead try running > ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of > the project. It will create a build directory for you. > >>> Could not find toolchain file: ../kernel/gcc.cmake > >>> Call Stack (most recent call first): > >>> CMakeLists.txt > >>> > >>> > >>> CMake Error: CMake was unable to find a build program corresponding > >>> to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to > >>> select a different build tool. > >>> CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage > >>> CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
