[dune] Inform dune that pidetop is a package.
Port to https://github.com/coq/coq/pull/6859 + use Dune.
We adapt the code to https://github.com/coq/coq/pull/6859 [easy] and use Dune as a default build system.
This may need some more tweaks, but it does work now.
As a goodie, we gain generation of .merlin and pidetop.install files.
.merlin
pidetop.install
Port to https://github.com/coq/coq/pull/6859 + use Dune.
We adapt the code to https://github.com/coq/coq/pull/6859 [easy] and use Dune as a default build system.
This may need some more tweaks, but it does work now.
As a goodie, we gain generation of
.merlinandpidetop.installfiles.[dune] Inform dune that pidetop is a package.