I am still using Debian 6. I installed python 2.7.8 but I am having problems to compile the seL4.
arduino@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?
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@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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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@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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de
-
Daniel Hofmann -
Jorge Ventura -
Marcus Hähnel