Ninja is already installed. I removed and reinstalled it too but I am
getting the same error. Do you have any other suggestions?
--
Thanks and Regards,
Amit Goyal
On 2019-06-18 03:48, Matthew Fernandez wrote:
>> On Jun 17, 2019, at 11:40, Amit Goyal
amitgoyal@cse.iitb.ac.in
>> wrote:
>>
>> Hi,
>>
>> Can someone please suggest a possible solution.
>
> Based purely on guess work from the error message, maybe you don’t
> have Ninja installed? `sudo apt install ninja-build` on Debian-like
> Linux.
>
>> --
>> Thanks and Regards,
>> Amit Goyal
>>
>> On 2019-06-14 04:19, Amit Goyal wrote:
>>> Hi,
>>>
>>> Camkes had been working fine till now. Suddenly, it stopped
>>> working.
>>> I am running it on x86 system (i7 processor), ubuntu 16.04 on qemu.
>>>
>>> I am running the following commands:
>>> mkdir build
>>> cd build
>>> ../init --plat pc99 --tut hello-camkes-2 --solution
>>>
>>>
>>> Following error is generated:
>>>
>>> ---------------------------------------------------------------------------------------------------------------------------------
>>> Traceback (most recent call last):
>>> File "../init", line 76, in <module>
>>> sys.exit(main())
>>> File "../init", line 62, in main
>>> result = common.init_build_directory(args.plat, args.tut,
>>> args.solution, os.getcwd())
>>> File
>>>
>>> "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py",
>>> line 59, in init_build_directory
>>> result = sh.cmake(args + ['..'], _cwd = directory, _out=output)
>>> File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in
>>> __call__
>>> return RunningCommand(cmd, call_args, stdin, stdout, stderr)
>>> File "/uTraceback (most recent call last):
>>> File "../init", line 76, in <module>
>>> sys.exit(main())
>>> File "../init", line 62, in main
>>> result = common.init_build_directory(args.plat, args.tut,
>>> args.solution, os.getcwd())
>>> File
>>>
>>> "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py",
>>> line 59, in init_build_directory
>>> result = sh.cmake(args + ['..'], _cwd = directory, _out=output)
>>> File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in
>>> __call__
>>> return RunningCommand(cmd, call_args, stdin, stdout, stderr)
>>> File "/usr/local/lib/python2.7/dist-packages/sh.py", line 774, in
>>> __init__
>>> self.wait()
>>> File "/usr/local/lib/python2.7/dist-packages/sh.py", line 792, in
>>> wait
>>> self.handle_command_exit_code(exit_code)
>>> File "/usr/local/lib/python2.7/dist-packages/sh.py", line 815, in
>>> handle_command_exit_code
>>> raise exc
>>> sh.ErrorReturnCode_1:
>>>
>>> RAN: /usr/local/bin/cmake
>>> -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc
>>> -DTUT_ARCH=x86_64 -DTUTORIAL=hello-camkes-2 -DBUILD_SOLUTIONS=TRUE
>>> ..
>>>
>>> STDOUT:
>>> -- Configuring incomplete, errors occurred!
>>>
>>>
>>> STDERR:
>>> CMake Error at
>>>
>>> /opt/cmake-3.11.0-Linux-x86_64/share/cmake-3.11/Modules/CMakeDetermineSystem.cmake:100
>>> (message):
>>> 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
>>>
>>> ---------------------------------------------------------------------------------------------------------------------------------
>>>
>>> Can you please suggest a possible way out?
>>>
>>> --
>>> Thanks and Regards,
>>> Amit Goyal
>>>
>>> _______________________________________________
>>> Devel mailing list
>>> Devel@sel4.systems
>>>
https://sel4.systems/lists/listinfo/devel
>>
>> _______________________________________________
>> Devel mailing list
>> Devel@sel4.systems
>>
https://sel4.systems/lists/listinfo/devel