Re: Trouble packaging coq-elpi

[Stéphane Glondu <glondu@debian.org>]

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