GNU bug report logs - #71615
[PATCH] Split out picocss from Mumi.

Previous Next

Full log

View this message in rfc822 format

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: Arun Isaac <arunisaac <at> systemreboot.net>, Felix Lechner <felix.lechner <at> lease-up.com>, 71615 <at> debbugs.gnu.org
Subject: [bug#71615] [PATCH v2 1/2] gnu: Add picocss.
Date: Wed, 23 Apr 2025 11:23:13 +0900

Hi Liliana,

Liliana Marie Prikler <liliana.prikler <at> gmail.com> writes:

[...]

>>  
>> +(define-public picocss
>> +  (package
>> +    (name "picocss")
>> +    (version "1.5.6")
>> +    (source (origin
>> +              (method git-fetch)
> Note: the /css folder, which is probably what'll be interesting here,
> contains generated sources.  We should try compiling them ourselves
> with an SCSS processor.

Good catch.  If they are simply minimized, perhaps we could also avoid
installing these with the install plan?  Not optimal, but I doubt people
will notice.

[...]

> Note: copy-build-system should be used together with an install plan. 
> It appears you're missing one.

By default it copies everything to #$output, it seems, but yeah, this
should probably go to some share/ prefix.

Arun or Felix; is this something you could do?  I guess it'd need a
slight adjustment on mumi's side to locate the CSS, I'm not sure how
that currently works.

-- 
Thanks,
Maxim

Previous Next

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