Re: [seL4] CMake Error

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