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


View this message in rfc822 format

From: Leo Famulari <leo <at> famulari.name>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 41548 <at> debbugs.gnu.org
Subject: [bug#41548] [PATCH] gnu: mozjs: Remove static library
Date: Thu, 28 May 2020 13:46:49 -0400
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?




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

Previous Next


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