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
