From daabe09bb4ea03272302a121da30b531ce7af8c9 Mon Sep 17 00:00:00 2001 From: Colin Date: Fri, 30 Jun 2023 01:38:03 +0000 Subject: [PATCH] overlays: disable webkitgtk "separateDebugInfo = false;" override --- overlays/optimizations.nix | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/overlays/optimizations.nix b/overlays/optimizations.nix index cc966d2d..ab881b6b 100644 --- a/overlays/optimizations.nix +++ b/overlays/optimizations.nix @@ -22,11 +22,12 @@ in { # webkitgtk = ccache-able super.webkitgtk; # mesa = ccache-able super.mesa; - webkitgtk = super.webkitgtk.overrideAttrs (_upstream: { - # means we drop debug info when linking. - # this is a trade-off to require less memory when linking, since - # building `webkitgtk` otherwise requires about 40G+ of RAM. - # - separateDebugInfo = false; - }); + # webkitgtk = super.webkitgtk.overrideAttrs (_upstream: { + # # means we drop debug info when linking. + # # this is a trade-off to require less memory when linking, since + # # building `webkitgtk` otherwise requires about 40G+ of RAM. + # # + # # XXX(2023/06/29): doesn't seem to actually reduce the resource requirements + # separateDebugInfo = false; + # }); })