6859 + use Dune.

Branch: ejgallego/pidetop:stm+top

Branch: coqpide/pidetop:v8.9

Merged

#5 · Created 2018-05-19 · Last updated 2018-05-23

Merged pull request

[dune] Inform dune that pidetop is a package.

6542349·Author: Emilio Jesus Gallego Arias·Closed by: gareuselesinge·2018-05-22

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.