Package: ocaml-dune
Version: 3.23.1-5+b1
Severity: normal

I'm trying to package rocqnavi (ITP #1142199), but I'm hitting a
problem with the compilation:

$ ocamlfind ocamlopt -linkpkg -package "dune-glob yojson" -I +str -I
/lib/dune-glob -annot -c log.mli
ocamlfind: Package `dune-glob' not found

after some poking around, it looks like dune-glob is supposed to be
part of dune. In the current package source, I do see it, but nothing
ends up in the binary packages:

$ dpkg -L ocaml-dune libdune-core-ocaml libdune-core-ocaml-dev libdune-
ocaml libdune-ocaml-dev |grep glob
/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/stdune/global_lock.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/stdune/global_lock.mli

I guess there's something to be done to package it, but I lack the time
to inquire right now.

Cheers,

JP

Reply via email to