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

Reply via email to