Re: Build problems on i386 (L4Re)

Paul Boddie <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.