Hi Amit,
The error message appears to be truncated by the python stack trace.
There should be a build directory that was created by the command you ran named something like build_*.
What error message do you get if you change into that directory and then run the command:
/usr/local/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL=hello-camkes-1 -DBUILD_SOLUTIONS=TRUE ..
Kind regards,
Kent.
________________________________________
From: Devel on behalf of Amit Goyal
Sent: Friday, July 27, 2018 11:42 PM
To: devel@sel4.systems
Subject: [seL4] CAmkES 3.5.0 Build Error
Hi,
I am running CAmkES 3.5.0 on Ubuntu 16.04, 64 Bit, i5 machine, CMake
3.11.4. I am getting the following error on running
../init --plat pc99 --tut hello-camkes-1 --solution
(although seL4 10.0.0 works perfectly fine).
-------------------------------------------------------------------------------------------------------------------------------
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/akshat/Desktop/sel4_10.0/try/camkes-tutorials-manifest/projects/sel4-tutorials/common.py",
line 58, 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-1
-DBUILD_SOLUTIONS=TRUE ..
STDOUT:
-- The C compiler identification is GNU 5.3.1
-- The CXX compiler identification is GNU 5.3.1
-- Check for working C compiler: /usr/bin/gcc
-- Check for working C compiler: /usr/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/g++
-- Check for working CXX compiler: /usr/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is GNU
-- Found assembler: /usr/bin/gcc
-- Performing test HARD_FLOAT with flags -mfloat-abi=hard
-- Test HARD_FLOAT FA... (295 more, please see e.stdout)
STDERR:
CMake Warning at tools/seL4/cmake-tool/flags.cmake:123 (message):
Kernel supports hardware floating point but toolchain does not
Call Stack (most recent call first):
tools/seL4/cmake-tool/base.cmake:58 (include)
tools/seL4/cmake-tool/all.cmake:16 (include)
CMakeLists.txt:21 (include)
CMake Error at tools/camkes/camkes.cmake:581 (message):
Failed to generate camkes-gen.cmake: Traceback (most recent call
last):
File "/usr/lib/python2.7/runpy.py", line 174, in
_run_module_as_main
"__main__", fname, loader, pkg_name)
File "/usr/lib/python2.7/runpy.py", line 72, in _run_code
exec code in run_globals
File
"/home/akshat/Desktop/sel4_10.0/try/camkes-tutorials-manifest/tools/camkes/camkes/runner/__main__.py",
lin... (614 more, please see e.stderr)
--------------------------------------------------------------------------------------------------------------------------------
Can you please suggest a way around?
--
Thanks and Regards,
Amit Goyal
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
