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 #11 received at 41548 <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: Leo Famulari <leo <at> famulari.name>
Cc: 41548 <at> debbugs.gnu.org
Subject: Re: [bug#41548] [PATCH] gnu: mozjs: Remove static library
Date: Thu, 28 May 2020 13:57:32 -0400

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
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.