From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48504) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dzMPh-0002kp-T8 for guix-patches@gnu.org; Tue, 03 Oct 2017 08:35:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dzMPe-0001TL-Lw for guix-patches@gnu.org; Tue, 03 Oct 2017 08:35:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:36694) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dzMPe-0001Sr-Iz for guix-patches@gnu.org; Tue, 03 Oct 2017 08:35:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dzMPe-00086J-C1 for guix-patches@gnu.org; Tue, 03 Oct 2017 08:35:02 -0400 Subject: [bug#28593] [PATCH] gnu: openfoam: Clean up to reduce closure. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20170925104459.17798-1-fx@gnu.org> <87fubbj5yr.fsf@gnu.org> <1506426036.2423.32.camel@tourbillion-technology.com> <873779hdci.fsf@gnu.org> <87efqrsubj.fsf@albion.it.manchester.ac.uk> <87lgkzz0bb.fsf@gnu.org> <87fub1ffjc.fsf@albion.it.manchester.ac.uk> Date: Tue, 03 Oct 2017 14:33:55 +0200 In-Reply-To: <87fub1ffjc.fsf@albion.it.manchester.ac.uk> (Dave Love's message of "Mon, 02 Oct 2017 21:41:59 +0100") Message-ID: <87shf08l70.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: Dave Love Cc: 28593@debbugs.gnu.org, Paul Garlick Dave Love skribis: > Ludovic Court=C3=A8s writes: > >> Dave Love skribis: >> >>> Ludovic Court=C3=A8s writes: >>> >>>> That=E2=80=99s because we use =E2=80=98--strip-debug=E2=80=99 and not = =E2=80=98--strip-all=E2=80=99 (in some >>>> cases, the latter breaks binaries in weird ways, hence the conservative >>>> choice.) >>> >>> Is that something Guix-specific? As far as I know, with rpm and dpkg, >>> the binaries are always stripped, and I'm not aware of any problem with >>> that. >> >> I=E2=80=99m pretty sure I tried to default to =E2=80=9C--strip-all=E2=80= =9D instead of >> =E2=80=9C--strip-debug=E2=80=9D and that some packages had problems with= that, I forgot >> what it was. >> >> Perhaps we should try to revisit this. > > It seems worth trying. I take it that you=E2=80=99re volunteering? :-) The change is a simple one-liner, but making sure that nothing breaks of course takes more time (mostly CPU time!). > By the way, I originally thought that debug info was left in the > binaries and a debug package separated it. I think it's unfortunate not > to have debug info available (the GNU build default). It presumably > should be available for something like openfoam, for people to build > parts of, anyhow. Quoth : The =E2=80=98debug=E2=80=99 output mechanism in Guix is implemented by= the =E2=80=98gnu-build-system=E2=80=99 (*note Build Systems::). Currently, i= t is opt-in=E2=80=94debugging information is available only for the packages w= ith definitions explicitly declaring a =E2=80=98debug=E2=80=99 output. This = may be changed to opt-out in the future if our build farm servers can handle the load. To check whether a package has a =E2=80=98debug=E2=80=99 output, use =E2= =80=98guix package --list-available=E2=80=99 (*note Invoking guix package::). It=E2=80=99s mostly a matter of disk space and bandwidth. Ludo=E2=80=99.