From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49622) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fzMIS-0002Aw-El for guix-patches@gnu.org; Mon, 10 Sep 2018 09:32:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fzMIM-00068w-7R for guix-patches@gnu.org; Mon, 10 Sep 2018 09:32:08 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:46885) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fzMIM-00068q-3G for guix-patches@gnu.org; Mon, 10 Sep 2018 09:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fzMIL-0000wO-UO for guix-patches@gnu.org; Mon, 10 Sep 2018 09:32:01 -0400 Subject: [bug#32670] [PATCH] gnu: Add libabigail. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20180909120900.9546-1-mbakke@fastmail.com> Date: Mon, 10 Sep 2018 15:31:47 +0200 In-Reply-To: <20180909120900.9546-1-mbakke@fastmail.com> (Marius Bakke's message of "Sun, 9 Sep 2018 14:09:00 +0200") Message-ID: <87y3c9eaws.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Marius Bakke Cc: 32670@debbugs.gnu.org Hi Marius, Marius Bakke skribis: > * gnu/packages/linux.scm (libabigail): New public variable. I think this shouldn=E2=80=99t go in linux.scm because it=E2=80=99s unrelat= ed to Linux. What about elf.scm instead? > Look at this tool I found: >=20=20=20=20=20 > $ abidiff /gnu/store/qx0hmn4scjd31w1nj4dr7hzr566gcls4-ghostscript-9.2= 3/lib/libgs.so /gnu/store/l60v1b0xs8h9blzzf7b2m4ry55k76bhb-ghostscript-9.24= /lib/libgs.so Yeah it=E2=80=99s basically awesome. :-) > + (synopsis "Analyze Application Binary Interfaces") What about =E2=80=9CAnalyze application binary interfaces (ABIs)=E2=80=9D? Other than that LGTM, thank you! Ludo=E2=80=99.