Re: camlp4-extra (<< 3.13) [was ... otags reloaded 3.12.1 ...]

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

Le 31/01/2012 09:36, Hendrik Tews a écrit :
>    I know camlp4 depends on Dynlink
>    nonetheless, which I currently consider a bug in upstream
>    ocaml. 
> 
> Is there a bug number for this?

I said "currently", because I haven't (yet) taken the time to
investigate and understand it myself... there might be no bug at all :-)

>    I've
>    already faced the case where a fallback mecanism (for lack of Dynlink)
>    was provided, but it was still not possible to compile it natively
>    because it was using camlp4 as a library.
> 
> With some pain one could probably work around the dynlink
> dependency by not using Camlp4.Struct and Camlp4Bin and linking
> explicitly with the needed modules instead of camlp4*cmxa.

Thank you for this information!


Cheers,

-- 
Stéphane