Re: l4re compilation
Adam Lackorzynski adam at os.inf.tu-dresden.de writes: Yes, please stick with 4.8 for now. Adam Thanks Adam! I will try that then. ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: l4re compilation
Hi, On Tue Jun 03, 2014 at 10:02:42 +, 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 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
Re: l4re compilation order
Hi, On 16.04.2013, at 14:40, gaober wrote: i have some doubt about the buliding of l4re.who decides the order of the l4re pkg complie?if i want to make pkg drivers earliear than pkg input,hao can i do? does the /pkg/XXX/Control mean anything? and in the obj directory, there are .pc files like libdrivers-input.pc etc.what do they work? Basically the make system takes care of resolving the dependencies. The Control files give make a hint of inter-package dependencies. Matthias. -- Dipl.-Inf. Matthias Lange mla...@sec.t-labs.tu-berlin.de Security in Telecommunications TU Berlin / Deutsche Telekom Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.fgsect.de___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
