Re: Trouble packaging coq-elpi

[Julien Puydt <julien.puydt@gmail.com>]

Hi,

I could finally find some time for some digging.

Le mardi 23 novembre 2021 à 10:13 +0100, Stéphane Glondu a écrit :
> 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.
> 

In fact, I would say it re-exports everything it gets, since I could
only get rid of the error with:

override_dh_ocaml:
        dh_ocaml --nodefined-map=libcoq-elpi-ocaml-
dev:Extfun,Gramext,Versdep,Fstream,Pretty,Token,Grammar,Ploc,Plexing,Pl
exer,Eprinter,Diff,Stdpp,Pprintf,Extfold,Elpi__Ptmap,Elpi__Util,Elpi__B
uiltin,Elpi__Data,Elpi__Ast,Elpi__Builtin_map,Elpi__Builtin,Elpi__Built
in_checker,Elpi__Builtin_stdlib,Elpi__API,Elpi__Runtime,Trace_ppx_runti
me__Runtime,Elpi__Runtime_trace_on,Elpi__parser,Trace_ppx_runtime,Elpi_
_exported,Elpi,Elpi__Runtime_trace_off,Elpi__Builtin_set,Elpi__exported
,Elpi__Parser,Elpi__Compiler,Elpi__,Ppx_deriving_runtime,Re__,Re__Fmt,R
e__Category,Re__Group,Re__str,Re__Pcre,Re,Re__Str,Re__str,Re__Posix,Re_
_Automata,Re__Emacs,Re__Core,Re__Cset,Re__Color,Re__Perl,Re__Color_map,
Re__Glob,Re_str,Re__Pmark,Result

So there's definitely something wrong in the way it is built! I'll
definitely won't upload as-is...

Cheers,

J.Puydt