Hi,
Alternatively, it is also possible that you need to install the python2 package
enum34.
Kent.
________________________________________
From: Mcleod, Kent (Data61, Kensington NSW)
Sent: Wednesday, October 24, 2018 11:04 PM
To: Thad Seeberger; devel
Subject: Re: [seL4] can not build tutorials anymore
Hi,
If you change into the build directory (/home/john/sel4/hello-camkes-1_build)
and just run cmake then it should remove a lot of the extra output (We should
probably capture a lot of the python stack tracing). The actual error is
File "/home/john/sel4/projects/sel4-tutorials/tools/context.py", line 435,
in get_context
context.update(ObjectType.__members__.items())
AttributeError: type object 'ObjectType' has no attribute '__members__'
I think this is because your python resolves to python3 while we've only been
testing with python2.7 and ObjectType is an enum which doesn't have the
__members__ attribute on python3. We should fix this so that the tutorials are
python 3 compatible.
For an immediate fix, you can explicitly update the python call to python2.7
(assuming you have it installed) (and you will need to install python2.7
version of the camkes_deps py package) in
/home/john/sel4/hello-camkes-1/.tute_config. Change ";python;" to ";python2.7;"
Kent.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
