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