[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
- Bug? coqide missing? (in package coq, version 8.11.2), yasu, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), yasu, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2),
Julien Lepiller <=
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/21