Le Thu, 21 Sep 2023 11:08:38 -0400,
Garek Dyszel a écrit :
> Hi Guix,
>
> While trying to get Coq to find a certain package that is part of its
> dependency chain, I stumbled upon the following seemingly-general
> problem. It seems that Ocaml packages are not in general detected by
> findlib.
>
Hi Guix,
While trying to get Coq to find a certain package that is part of its
dependency chain, I stumbled upon the following seemingly-general
problem. It seems that Ocaml packages are not in general detected by
findlib.
Probably I'm missing something really simple because I'm not too
familiar
> It's not very clean, but this works:
Indeed it would be better to make ocamlfind do its job of correctly
finding camlidl (and this is actually biting for another package),
probably by fixing the camlidl recipe I guess.
More precisely
ocamfind query camlidl
returns the wrong path
Hi,
On Wed, 20 Sep 2023 at 20:25, Sébastien Lerique wrote:
> root@vm-remarkable2:~# guix pull -l
> guix pull: error: profile '/var/guix/profiles/per-user/root/current-guix'
> does not exist
>
> root@vm-remarkable2:~# guix pack -RR -S /emacsbin=bin emacs-no-x
> [... substitutes, grafts, builds .
Am 18.09.23 um 17:07 schrieb Timothee Mathieu:
I am new to guix, and I would like to use the containers in order to have
reproducible development environments for python.
I'm using python virtual env on top of guix, automated using direnv.
Anyhow I did not yet try to setup containers for this
