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: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#41548: closed ([PATCH] gnu: mozjs: Remove static library)
Date: Sat, 30 May 2020 16:08:01 +0000
[Message part 1 (text/plain, inline)]
Your message dated Sat, 30 May 2020 18:07:36 +0200
with message-id <20200530180736.4d3cc380 <at> tachikoma.lepiller.eu>
and subject line Re: [bug#41548] [PATCH] gnu: mozjs: Remove static library
has caused the debbugs.gnu.org bug report #41548,
regarding [PATCH] gnu: mozjs: Remove static library
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
41548: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41548
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: mozjs: Remove static library
Date: Tue, 26 May 2020 23:15:57 +0200
[Message part 3 (text/plain, inline)]
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.

The reason why I found that file, is because it is mentionned in
BLFS: http://linuxfromscratch.org/blfs/view/svn/general/js68.html
[0001-gnu-mozjs-Remove-static-library.patch (text/x-patch, attachment)]
[Message part 5 (message/rfc822, inline)]
From: Julien Lepiller <julien <at> lepiller.eu>
To: Leo Famulari <leo <at> famulari.name>
Cc: 41548-close <at> debbugs.gnu.org
Subject: Re: [bug#41548] [PATCH] gnu: mozjs: Remove static library
Date: Sat, 30 May 2020 18:07:36 +0200
Le Fri, 29 May 2020 12:54:45 -0400,
Leo Famulari <leo <at> famulari.name> a écrit :

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

Thanks, that's a good idea. I managed to build a vm that way and
unfortunately gdm fails to start, so the static library must be used in
some way. I'm closing this without pushing anything.


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.