Hi Paul, Python future is required on your system. On Debian-based distributions it the package is called `python-future`.
Regards, Johannes Am 06.07.2018 um 15:21 schrieb Paul Dufresne: > 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@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@paul-OptiPlex-745:~/genode$ > > > > _______________________________________________ > Genode users mailing list > [email protected] > https://lists.genode.org/listinfo/users > _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
