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$