Build problems on i386 (L4Re)

Paul Boddie paul at boddie.org.uk
Tue Jan 30 21:25:54 CET 2018


On Tuesday 30. January 2018 00.00.37 Adam Lackorzynski wrote:
> On Mon Jan 29, 2018 at 23:40:15 +0100, Paul Boddie wrote:
> >
> >   [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...

Having investigated with both jessie/oldstable and stretch/stable chroots, I 
can report that this is a sid/unstable problem. With the earlier distribution 
versions, everything (in version 76) compiles and builds just fine. Some GCC 
version details:

jessie (Debian 4.9.2-10)
stretch (Debian 6.3.0-18)
sid (Debian 6.4.0-12)

Hopefully, the failure will go away by itself. If it persists, I guess I'll 
try and report it.

Paul




More information about the l4-hackers mailing list