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 <[email protected]> a écrit : >Hi Julien, > >On Sat, 20 Mar 2021 at 06:48, Julien Lepiller <[email protected]> >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
