ocaml ports need love

Perry E. Metzger perry at piermont.com
Tue Oct 24 13:10:58 UTC 2017


On Mon, 23 Oct 2017 21:03:45 -0400 "Perry E. Metzger"
<perry at piermont.com> wrote:
> 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?

Oh, and just to be clear, I don't have commit access to the repo, so
if I'm going to get assigned ownership, someone else will need to do
it for me.

Perry

> 
> 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