Build problems on i386 (L4Re)

Adam Lackorzynski 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' 
> failed
> make[4]: *** [libl4util.so] Segmentation fault
> make[4]: *** Deleting file 'libl4util.so'
> ../../../../../mk/binary.inc:164: recipe for target 
> '/home/paulb/L4/UX-75/src/l4/mybuild/pkg/l4re-core/l4util/lib/src/OBJ-x86_gen-
> 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...


Adam




More information about the l4-hackers mailing list