Thanks Kent for a quick response.
On running the command you suggested, I was getting the following
error. I have installed the orderedset package and now everything works
fine.
--------------------------------------------------------------------------------------------
-- camkes-gen.cmake is out of date. Regenerating...
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",
line 45, in <module>
from camkes.runner.Renderer import Renderer
File
"/home/akshat/Desktop/sel4_10.0/try/camkes-tutorials-manifest/tools/camkes/camkes/runner/Renderer.py",
line 22, in <module>
from .Context import new_context
File
"/home/akshat/Desktop/sel4_10.0/try/camkes-tutorials-manifest/tools/camkes/camkes/runner/Context.py",
line 29, in <module>
import capdl, code, collections, copy, inspect, itertools,
functools, numbers, \
ImportError: No module named orderedset
Call Stack (most recent call first):
projects/sel4-tutorials/CMakeLists.txt:257 (GenerateCAmkESRootserver)
-- Configuring incomplete, errors occurred!
See also
"/home/akshat/Desktop/sel4_10.0/try/camkes-tutorials-manifest/bc0/CMakeFiles/CMakeOutput.log".
---------------------------------------------------------------------------------------------
--
Thanks and Regards,
Amit Goyal
On 2018-07-27 19:33, Kent.Mcleod@data61.csiro.au wrote:
> 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
devel-bounces@sel4.systems on behalf of Amit Goyal
>
amitgoyal@cse.iitb.ac.in
> 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