On 25.12.2012, at 16:51, Torsten Rüger wrote:
Hi Carsten,
yeah, I thought as much.
I did swap to my host machine, a debian box and got much further there. Up to
make[8]: Entering directory `/var/www/vhosts/auringostaitaan.fi/l4re-snapshot-2012111623/obj/l4/x86/pkg/l4sys/lib/src/OBJ-x86_586-l4f' ==> Linking to shared libl4sys.so ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/4.4.5/crtbeginS.o' is incompatible with i386 output ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/4.4.5/crtendS.o' is incompatible with i386 output make[8]: *** [libl4sys.so] Error 1
Have you installed gcc-multilib and g++-multilib? You need those on a 64bit host.
Matthias.