On Tue, Aug 04, 2020 at 08:46:40AM +0100, Richard W.M. Jones wrote:
> I disabled debuginfo generation in ocaml-ppx-tools-versioned
> temporarily.
>
> It seems there is a bug in dune which causes the -g option to be
> omitted when linking ppx extensions. This will require a fix to dune,
> and then
I disabled debuginfo generation in ocaml-ppx-tools-versioned
temporarily.
It seems there is a bug in dune which causes the -g option to be
omitted when linking ppx extensions. This will require a fix to dune,
and then I should be able to reenable debuginfo again in this package.
(The same bug pos