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 _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers