l4re compilation

[Ramya Masti]

Hi all,

I am trying to compile l4re run time from the snapshot (l4re-snapshot-
2014053111) using GCC 4.9 on an x86-64 machine with multilib. The 
compilation fails with not being able to find cstdio header file. I followed 
the instructions in http://os.inf.tu-dresden.de/L4Re/build.html.

I note that the fiasco kernel itself builds fine from the same snapshot.


Some debug information:
--------------------------------------------
Output of gcc -v 

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /build/gcc-multilib/src/gcc-4.9-20140507/configure --
prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man 
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --
enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --
enable-threads=posix --with-system-zlib --enable-__cxa_atexit --disable-
libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-
libssp --enable-gnu-unique-object --enable-linker-build-id --enable-cloog-
backend=isl --disable-cloog-version-check --enable-lto --enable-plugin --
enable-install-libiberty --with-linker-hash-style=gnu --enable-multilib --
disable-werror --enable-checking=release
Thread model: posix
gcc version 4.9.0 20140507 (prerelease) (GCC)

----------------------------------------------

Output of make O=build in the src/l4 directory (of what I think maybe 
relevant parts)

=== Building package "libstdc++-headers" ===
bash: line 0: cd: /home/ramya/Downloads/fiasco/l4re-snapshot-
2014053111/src/l4/pkg/libstdc++-headers/../libstdc++-v3/contrib/libstdc++-
v3-/include: No such file or directory
.......
.......
.......
.......
.......
.......

=== Building package "cxx_libc_io" ===
  ... Compiling io_backend.o
/home/ramya/Downloads/fiasco/l4re-snapshot-
2014053111/src/l4/pkg/cxx_libc_io/lib/src/io_backend.cc:9:18: fatal error: 
cstdio: No such file or directory
 #include <cstdio>
                  ^
compilation terminated.

Is this a problem with the GCC version? Any help is much appreciated.

Best,
Ramya