Re: remove devel/ocaml-configurator

2020-04-24 Thread Jeremie Courreges-Anglas
On Fri, Apr 17 2020, Christopher Zimmermann wrote: > Hi, > > I initially ported this only because I did not realize that this project > had been integrated into devel/dune. This has no use anymore and can be > removed. OK? ok jca@ (please also add an entry in devel/quirks) -- jca | PGP : 0x1524

Re: remove devel/ocaml-configurator

2020-04-23 Thread Christopher Zimmermann
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 ) since its compatibility requirements are stricter than dune. B

Re: remove devel/ocaml-configurator

2020-04-17 Thread Kenneth R Westerback
On Fri, Apr 17, 2020 at 08:53:22PM +0200, Christopher Zimmermann wrote: > Hi, > > I initially ported this only because I did not realize that this project had > been integrated into devel/dune. This has no use anymore and can be removed. > OK? Makes sense to me. ok krw@ fwiw. Ken > > Ch

remove devel/ocaml-configurator

2020-04-17 Thread Christopher Zimmermann
Hi, I initially ported this only because I did not realize that this project had been integrated into devel/dune. This has no use anymore and can be removed. OK? Christopher Index: devel/Makefile === RCS file: /cvs/ports/devel