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