> On Jun 17, 2019, at 11:40, Amit Goyal <[email protected]> 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 >> [email protected] >> https://sel4.systems/lists/listinfo/devel > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
