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.mcl...@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
<amitgo...@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



_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to