On Thu Sep 24, 2015 at 20:58:41 +0200, Mahdi Aichouch wrote: > I tried to build L4 Fiasco O.C + L4RE on Ubuntu 14.04 LTS x86_64 host, but > I get the following error: > > Checking for needed programs and tools > make ... ok > gcc ... ok > g++ ... ok > ld ... ok > gawk ... ok > perl ... ok > pkg-config ... ok > > Checking for needed cross programs and tools > arm-linux-gcc ... ok > arm-linux-cpp ... ok > arm-linux-nm ... ok > arm-linux-g++ ... ok > arm-linux-ld ... ok > > > Checking optional programs and tools > doxygen ... NOT DETECTED but optional > > Some optional command is missing on your system, don't worry. > doxygen > > Creating build directories... > make[1]: Entering directory > `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' > Creating build directory "../../../obj/fiasco/arm-mp-rv-a9-vexpress"... > done. > make[1]: Leaving directory > `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' > make[1]: Entering directory > `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' > make -C > /home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/../tool/kconfig > O=/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress > Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h > KCONFIG_TRISTATE=include/config/tristate.conf > KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=include/config/auto.conf > KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= INCLUDE_SPARC= > fiasco_srcdir=/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/.. > olddefconfig > make[2]: Entering directory > `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' > make[1]: Entering directory > `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' > HOSTCC scripts/basic/fixdep > HOSTCC scripts/kconfig/conf.o > SHIPPED scripts/kconfig/zconf.tab.c > SHIPPED scripts/kconfig/zconf.lex.c > SHIPPED scripts/kconfig/zconf.hash.c > HOSTCC scripts/kconfig/zconf.tab.o > HOSTLD scripts/kconfig/conf > scripts/kconfig/conf --olddefconfig Kconfig > # > # configuration written to globalconfig.out > # > make[2]: Leaving directory > `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' > make[1]: Leaving directory > `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' > make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' > All build tools checked ok. > Creating build directory "../../obj/l4/arm-ca"... > make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' > make[1]: Entering directory > `/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca' > HOSTCC scripts/basic/fixdep > HOSTCC scripts/kconfig/conf.o > SHIPPED scripts/kconfig/zconf.tab.c > SHIPPED scripts/kconfig/zconf.lex.c > SHIPPED scripts/kconfig/zconf.hash.c > HOSTCC scripts/kconfig/zconf.tab.o > HOSTLD scripts/kconfig/conf > scripts/kconfig/conf --oldconfig > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated > # > # configuration written to .kconfig > # > scripts/kconfig/conf --silentoldconfig > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated > All build tools checked ok. > gcc -fPIC -Wall -pedantic -g -m64 -c > /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/deptrack.c -o > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o > gcc -fPIC -Wall -pedantic -g -m64 -c > /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/syscall.c -o > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o > mkdir -p /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64 > gcc -m64 -shared -Wl,--no-as-needed > -Wl,-soname,/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so > -ldl -o > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o > /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o > ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded > (wrong ELF class: ELFCLASS64): ignored. > ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded > (wrong ELF class: ELFCLASS64): ignored. > ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded > (wrong ELF class: ELFCLASS64): ignored.
I think you need to install some 32bit libraries in your Linux system. Probably libc6-dev-i386 is a good choice. Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers