Hi All, Somehow a file named CMakeCache.txt came into my top level directory. I removed that file and ran the init script. It is working fine now. Is this file created intentionally or is it some bug? -- Thanks and Regards, Amit Goyal On 2019-06-20 10:16, Aditya Upadhyay wrote:
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) <Kent.Mcleod@data61.csiro.au> 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel