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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 41548 in the body.
You can then email your comments to 41548 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

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 1 (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 #8 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: 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?

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

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.

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

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.

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

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

On Sat, May 30, 2020 at 06:07:36PM +0200, Julien Lepiller wrote:
> 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.

Okay, but did it work without your patch?

Previous Next

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