On Tue, Apr 21, 2020 at 10:02:29AM +0100, Anil Madhavapeddy wrote:
Looks good to me. We've pulled this out into its own library now
(https://github.com/ocaml-dune/dune-configurator
<https://github.com/ocaml-dune/dune-configurator>) since its compatibility
requirements are stricter than dune. But that new repo is quite different from the
port below and would effectively be a new one (no dependency on Base, etc).
Anil
I see only "This repository is empty" on
https://github.com/ocaml-dune/dune-configurator
In case this will get populated I'd rather wait and change the existing
port.
Christopher
--
http://gmerlin.de
OpenPGP: http://gmerlin.de/christopher.pub
CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1
