GNU bug report logs - #41548
[PATCH] gnu: mozjs: Remove static library

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Tue, 26 May 2020 21:17:01 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

Full log


Message #14 received at 41548 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 41548 <at> debbugs.gnu.org
Subject: Re: [bug#41548] [PATCH] gnu: mozjs: Remove static library
Date: Fri, 29 May 2020 12:54:45 -0400
On Thu, May 28, 2020 at 01:57:32PM -0400, Julien Lepiller wrote:
> Le 28 mai 2020 13:46:49 GMT-04:00, Leo Famulari <leo <at> famulari.name> a écrit :
> >On Tue, May 26, 2020 at 11:15:57PM +0200, Julien Lepiller wrote:
> >> Hi,
> >> 
> >> the attached patch removes lib/libjs_static.ajs from the output of
> >> mozjs, a 30 MB static library.  This mozjs is part of the closure of
> >> gdm and gnome, so it reduces the size of most desktop systems.
> >
> >Awesome! I figure that things seem to keep working without it?
> 
> At least gdm still builds, but I'm not sure how to test it properly

You could make a vm-image with %desktop-services, which uses GDM.




This bug report was last modified 5 years and 47 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.