sel4: Need to have python module 'future' installed

Paul Dufresne dufresnep at zoho.com
Fri Jul 6 15:21:08 CEST 2018


Is it my system that is supposed to give Python modules, or is it supposed to be part of the toolchain? I get it on: paul at paul-OptiPlex-745:~/genode$ ./tool/ports/prepare_port sel4 /home/paul/genode/repos/base-sel4/ports/sel4.port:11: *** Need to have python module 'future' installed.. ArrĂȘt. /home/paul/genode/tool/ports/mk/prepare_single_port.mk:38: recipe for target '_install_in_port_dir' failed make[1]: *** [_install_in_port_dir] Error 2 tool/ports/prepare_port:33: recipe for target 'sel4' failed make: *** [sel4] Error 2 paul at paul-OptiPlex-745:~/genode$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180706/c143c42d/attachment.html>


More information about the users mailing list