From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#39503: Supporting elf-debuginfod (debug symbol server) Date: Sat, 08 Feb 2020 00:07:22 +0100 Message-ID: <87imkiyp1x.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58436) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j0CjD-0007Fm-53 for bug-guix@gnu.org; Fri, 07 Feb 2020 18:08:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j0CjC-00056P-3O for bug-guix@gnu.org; Fri, 07 Feb 2020 18:08:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:44448) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j0CjC-000567-0I for bug-guix@gnu.org; Fri, 07 Feb 2020 18:08:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:470:142:3::10]:58340) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j0Cia-0007FF-S1 for bug-Guix@gnu.org; Fri, 07 Feb 2020 18:07:25 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:34992) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1j0Cia-0004eA-P4 for bug-Guix@gnu.org; Fri, 07 Feb 2020 18:07:24 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=39374 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1j0Cia-00066G-5Q for bug-Guix@gnu.org; Fri, 07 Feb 2020 18:07:24 -0500 List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org Sender: "bug-Guix" To: bug-Guix@gnu.org Cc: Mark Wielaard Hello Guix! I=E2=80=99ve just watched Mark=E2=80=99s very nice talk about debuginfod an= d and I=E2=80=99d like to work towards running an instance of it on ci.guix.gnu.org: https://fosdem.org/2020/schedule/event/debugging_debuginfod/ What=E2=80=99s missing today is configuring GCC with =E2=80=98--enable-link= er-build-id=E2=80=99 (which is not the default, unlike what Mark says in the talk :-)). If we do that, I wonder if we can stop using =E2=80=98.gnu_debuglink=E2=80= =99 (see the =E2=80=98strip=E2=80=99 phase in (guix build gnu-build-system)). Also, I suspect build IDs wouldn=E2=80=99t mesh well with grafting: unless = we rewrite them, the same build ID would match both the ungrafted and the grafted variant. Is that a problem? Not sure. (Currently (guix build debug-link) recomputes =E2=80=98.gnu_debuglink=E2=80=99 upon grafting so th= at the links remain valid.) Thoughts? Thanks, Ludo=E2=80=99. PS: I found Eelco Dolstra=E2=80=99s dwarffs to be very smart, too! https://github.com/edolstra/dwarffs