[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Ocamlfind doesn't find arbitrary library

From: Garek Dyszel
Subject: Ocamlfind doesn't find arbitrary library
Date: Thu, 21 Sep 2023 11:08:38 -0400

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

Probably I'm missing something really simple because I'm not too
familiar with Ocaml, but it looks to me to be maybe a Guix-specific

Thanks for any and all help!

Command from which this originates:
--8<---------------cut here---------------start------------->8---
$ guix shell ocaml-findlib ocaml-sha -- ocamlfind list
bigarray            (version: [distributed with Ocaml])
bytes               (version: [distributed with OCaml 4.02 or above])
compiler-libs       (version: [distributed with Ocaml])
compiler-libs.bytecomp (version: [distributed with Ocaml])
compiler-libs.common (version: [distributed with Ocaml])
compiler-libs.native-toplevel (version: [distributed with Ocaml])
compiler-libs.optcomp (version: [distributed with Ocaml])
compiler-libs.toplevel (version: [distributed with Ocaml])
dynlink             (version: [distributed with Ocaml])
findlib             (version: 1.9.5)
findlib.dynload     (version: 1.9.5)
findlib.internal    (version: 1.9.5)         (version: 1.9.5)
ocamldoc            (version: [distributed with Ocaml])
stdlib              (version: [distributed with Ocaml])
str                 (version: [distributed with Ocaml])
threads             (version: [distributed with Ocaml])
threads.none        (version: [internal])
threads.posix       (version: [internal])
unix                (version: [distributed with Ocaml])
--8<---------------cut here---------------end--------------->8---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]