Build problems on i386 (L4Re)
adam at os.inf.tu-dresden.de
Tue Jan 30 00:00:37 CET 2018
On Mon Jan 29, 2018 at 23:40:15 +0100, Paul Boddie wrote:
> As promised, my other error report...
> With Fiasco-OC built, I concentrated on building L4Re for i386, but this led
> to me encountering this rather frustrating error:
> [l4util] ==> Linking to shared libl4util.so
> /home/paulb/L4/UX-75/src/l4/mk/lib.mk:139: recipe for target 'libl4util.so'
> make: *** [libl4util.so] Segmentation fault
> make: *** Deleting file 'libl4util.so'
> ../../../../../mk/binary.inc:164: recipe for target
> l4f' failed
> This issue is present in repository versions 72 through 76. Again, I'm testing
> this with GCC 6.4 (Debian 6.4.0-12). I've not seen this at all when cross-
> compiling, either with the Debian or with Buildroot compilers.
This is an segfault of the linker/binutils of Debian unstable as of
today. Maybe it's worth pursuing, maybe it goes away on its own...
More information about the l4-hackers