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

[Julien Lepiller]

Hi Yasu,

This is not a bug: coqide brings a lot of dependencies, so it's in a 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

Le 20 mars 2021 02:11:30 GMT-04:00, yasu <yasu@yasuaki.com> a écrit :
>
>Hello,
>
>After installing COQ using:
>   guix install coq
>
>I was perplexed that I could not find the coqide program.
>Howerver, GUIX does seem to build it:
>
>
>~$ guix build coq
>   /gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide
>   /gnu/store/n8g37cv0028wds959rjgpl5dsj3p3xl0-coq-8.11.2
>
>~$ ls /gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide/bin
>   coqide
>
>
>The fact that this coqide is not brought to user profile - is this a
>bug? 😅
>
>-Yasu