Error when building L4RE

Hello,

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.
make[6]: *** [Makeconf.bid.local-internal-names] Error 1
make[5]: *** [Makeconf.bid.local-helper] Error 2
make[4]: *** [DROPSCONF_CONFIG_MK_POST_HOOK] Error 1
make[3]: ***
[/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/.config.all] Error 2
make[2]: *** [oldconfig] Error 2
make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
make: *** [setup] Error 1


Does someone have an idea of how to resolve this.

Thank you very much in advance.

Best regards,

Mahdi

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers