On 31 Mar 2019, at 04:29, Kenneth Westerback <kwesterb...@gmail.com> wrote: > > My full table is on cvs as ~krw/ocamlports.org <http://ocamlports.org/>. > > I have > > devel/ocaml-uutf > lang/ocaml-camlp5 > math/ocaml-num > math/ocaml-zarith > devel/dune > > as candidates for removal since they don't appear to be used by any end-user > program.
greetings! dune will soon be used by Coq as well (we’re just finalising the build integration upstream). We’re also separating out the dune “binary” from the dune “libraries” so the host build tool can be installed independently of any particular OCaml version. This will make it possible to build OCaml itself using dune in the future, so it’s useful to keep it installing the binary. (Christophe: that dune patch I sent you to install the ocaml libraries for dune.configurator prompted this train of thought — I now think the current port is better and that we should have a separate dune library package) In general, it would be good to keep the ‘host binaries’ for OCaml tools in ports, and to retire the libraries that not used by other ports. I’m also working on a non-April fools joke, which is sufficient metadata in dune to generate reliable openbsd ports. So in a few months, we should be able to type in package names and have reasonable Makefiles output for the ports (including WANTLIB etc). Am doing it for Homebrew and a few other operating systems as well to see if we can sidestep the port maintainer burden somewhat. Unsure yet if it’ll be suitable for usage in OpenBSD, but at a minimum it’ll generate sufficient scaffolding for a human ports maintainer to tweak for upstreaming. > > For anyone who hasn't stumbled across it, there is an inspirational video on > youtube about the OCaml Platform vision. Presented by a grizzled veteran of > the OCaml wars who looks tantalizingly familiar. > > https://m.youtube.com/watch?v=oyeKLAYPmQQ > <https://m.youtube.com/watch?v=oyeKLAYPmQQ> Unbelievable talk! Such poise and grace! Anil
