Problems with python to compile seL4

Marcus Hähnel mhaehnel at os.inf.tu-dresden.de
Tue Jul 29 15:28:28 CEST 2014

Previous message (by thread): Problems with python to compile seL4
Next message (by thread): Problems with python to compile seL4
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): Problems with python to compile seL4
Next message (by thread): Problems with python to compile seL4
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the l4-hackers mailing list