Problems with python to compile seL4

[Jorge Ventura]

Yeahh...I got that but I think that I have to upgrade to Debian 7, I had to
install a backport from Python 2.7 and that screws many other packages. I'm
gonna do that today.

Thank you Marcus.


On Tue, Jul 29, 2014 at 8:28 AM, Marcus Hähnel <
mhaehnel at os.inf.tu-dresden.de> wrote:

> On 2014-07-29 15:09, Jorge Ventura wrote:
>
>> ImportError: No module named tempita
>> make: *** [arch/api/invocation.h] Error 1
>>
>> What is this module "tempita"? What package is that?
>>
>
> The relevant debian package is python-tempita.
>
> - Marcus
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140729/7d6acd54/attachment.htm>