During the conversion of several projects from oasis
to dune
I noticed that no ocaml-foo-debuginfo.rpm was created anymore. The reason is simply that an install with oasis
preserves the executable bit when installing into DESTDIR
, while dune
creates a non-executable .cmxs
file during copying. As a result, the tool which extracts the debug section from ELF files just ignores such .cmxs
files.
Now the questions are:
Who are the consumers of .cmxs
files anyway?
Could these consumers make any use of ELF debuginfo?
And if they can, did they cope with detached debuginfo?