Hi, Le 22/11/2021 à 10:45, Julien Puydt a écrit : > I'm trying to package coq-elpi (after I packaged elpi [in NEW], and > before I can package hierarchy-builder), but dh_ocaml gives me an error > and I don't get it: > > E: Error: unit Extfun exported in libcoq-elpi-ocaml-dev/libcoq-elpi- > ocaml v1.11.2-1 but already exported by camlp5 v7.14-1 > > But there's no mention of Extfun in the sources... so I don't know > where that comes from! > > How does one handle that?
This is probably coq-elpi trying to embed and reexport some camlp5 lib. Probably a bug in coq-elpi. But if not (a more thorough analysis is needed), Extfun must be added to --nodefined-map option in override_dh_ocaml. Cheers, -- Stéphane