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)
<[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
