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