l4re compilation

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Jun 3 23:59:58 CEST 2014


Hi,

On Tue Jun 03, 2014 at 10:02:42 +0000, Ramya Masti wrote:
> 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.
> 
> 
> 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.

Yes, please stick with 4.8 for now.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list