help-guix
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bug? coqide missing? (in package coq, version 8.11.2)


From: Julien Lepiller
Subject: Re: Bug? coqide missing? (in package coq, version 8.11.2)
Date: Sat, 20 Mar 2021 19:53:00 -0400
User-agent: K-9 Mail for Android

guix size coq -> 869.7 MB
guix size coq:ide -> 1557.0 MB

Almost twice as much, because this brings in graphical dependencies. Separating 
packages to multiple outputs can reduce the closure size of some outputs, but 
if you build the package, you get the same number of dependencies as if there 
were a single output. You have everything to gain if you get substitutes, and 
nothing to lose if you don't have any or want to use the more expensive output.

Le 20 mars 2021 12:39:20 GMT-04:00, zimoun <zimon.toutoune@gmail.com> a écrit :
>Hi Julien,
>
>On Sat, 20 Mar 2021 at 06:48, Julien Lepiller <julien@lepiller.eu>
>wrote:
>
>> This is not a bug: coqide brings a lot of dependencies, so it's in a
>
>What do you mean?
>
>--8<---------------cut here---------------start------------->8---
>$ guix package -i coq -n
>The following package would be installed:
>   coq 8.11.2
>
>125.8 MB would be downloaded
>
>$ guix package -i coq:ide -n
>The following package would be installed:
>   coq:ide 8.11.2
>
>125.8 MB would be downloaded
>
>$ guix package -i coq coq:ide -n
>The following packages would be installed:
>   coq     8.11.2
>   coq:ide 8.11.2
>
>125.8 MB would be downloaded
>--8<---------------cut here---------------end--------------->8---
>
>
>> separate output, as you can see with guix search or guix show. To
>> install it, install the ide output, like so: 
>>
>> guix install coq:ide
>
>I am always confused by these multi-outputs packages, as git:send-email
>or coq:ide or th recent “ocaml-z3“.  They often increase the number of
>build-time dependencies and they are less discoverable, IMHO.
>
>They make sense for -doc or -debug but otherwise they appear to me
>confusing.
>
>
>Cheers,
>simon


reply via email to

[Prev in Thread] Current Thread [Next in Thread]