Re: l4re compilation
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/