Problems with python to compile seL4

Daniel Hofmann daniel at trvx.org
Tue Jul 29 15:21:11 CEST 2014


Install python-tempita package or via pip:
> pip install tempita


On 07/29/2014 03:09 PM, Jorge Ventura wrote:
> I am still using Debian 6. I installed python 2.7.8 but I am having
> problems to compile the seL4.
> 
> arduino at squeeze64:~/ARM/src/seL4$ TOOLPREFIX=arm-none-eabi- ARCH=arm
> PLAT=am335x ARMV=armv7-a CPU=cortex-a8 make
> Traceback (most recent call last):
>   File "./tools/invocation_header_gen.py", line 18, in <module>
>     import tempita
> ImportError: No module named tempita
> make: *** [arch/api/invocation.h] Error 1
> 
> What is this module "tempita"? What package is that?
> 
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 



More information about the l4-hackers mailing list