ocaml ports need love

Perry E. Metzger perry at piermont.com
Tue Oct 24 01:03:45 UTC 2017


On Mon, 23 Oct 2017 19:26:59 -0500 Marius Schamschula
<lists at schamschula.com> wrote:
> Perry,
> 
> Since February almost (all?) ocaml ports have been nomaintainer, as
> mww relinquished maintainership.
> 
> See:
> https://github.com/macports/macports-ports/commit/2e31448cc2f8f2cbf65766288d2a8cafb738e5b8
> 
> Volunteers welcome!

I'll take temporary ownership of the lot if no one else is willing,
but please list maintainers as me + openmaintainer, because I have no
trouble with others pitching in.

It's going to be necessary to add a separate port for ocamlbuild and
some other tools in order to do the needed updates. What's the right
procedure if several things need to be updated in sync?

Perry


> 
> > On Oct 23, 2017, at 7:20 PM, Perry E. Metzger
> > <perry at piermont.com> wrote:
> > 
> > Howdy!
> > 
> > The ocaml ecosystem and everything depending on it is rotting a
> > bit. See, for example, ticket #52844. We're thus far behind on
> > upgrading anything downstream, like Coq.
> > 
> > Thoughts on what we could do to goose this? There's going to be a
> > need to fix a bunch of stuff in the course of upgrading.
> > 
> > Perry
> > -- 
> > Perry E. Metzger		perry at piermont.com  
> 
> Marius
> --
> Marius Schamschula
> 
> 
> 
> 



-- 
Perry E. Metzger		perry at piermont.com


More information about the macports-dev mailing list