Hi Guix,
While trying to package coq-elpi, one finds that Findlib is unable to
find ocaml-stdlib-shims. The problem persists even if ocaml-stdlib-shims
is located in the inputs and propagated-inputs fields.
Trying to set OCAMLLIB using the following doesn't seem to work.
(string-append "OCAMLLIB=
Hi Julien,
It looks like setting OCAMLLIB or OCAMLPATH has no effect on whether Coq
is able to find stdlib-shims. I built coq-elpi after including one of
each and then both together, and none of those three configurations
changed whether coq-elpi could find ocaml-stdlib-shims.
I tried adding ocam
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
