sel4: Need to have python module 'future' installed

[Johannes Kliemann]

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 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$
> 
> 
> 
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users
>