Re: ocaml-ppx-tools-versioned debuginfo disabled, dune and ppx extensions

2020-08-04 Thread Richard W.M. Jones
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

ocaml-ppx-tools-versioned debuginfo disabled, dune and ppx extensions

2020-08-04 Thread Richard W.M. Jones
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