> On Feb 24, 2017, at 10:39 AM, Kenneth Westerback <kwesterb...@gmail.com> > wrote: > > > >> On Fri, 24 Feb 2017 at 10:15 Alexandr Shadchin <alexandr.shadc...@gmail.com> >> wrote: >> On Thu, Feb 23, 2017 at 09:13:42PM -0500, Daniel Dickman wrote: >> > I have an update for coq from 8.4 to 8.6, but I'd like to get the easy >> > bits in first: >> > - switch from http to https >> > - drop gettext module >> > - regen WANTLIB >> > - move MODULES up in the Makefile, following Makefile.template >> > >> > ok? >> > >> >> ok shadchin@ >> >> -- >> Alexandr Shadchin >> > > Not being a coq user I don't have much useful to say on the details of this > change or the update to 8.6 per se. > > But I keep thinking that the best strategy would be to leverage opam more, > and eliminate as many individual ports as possible. Of course the last time I > tried I think coq didn't install from opam. :-)
i'm not an opam expert but i think this makes more sense for ocaml modules than for applications that happen to be written in ocaml. i personally like the ports system where i can just pkg_add to get a pre-built binary for things like coq. but like i said, i'm not really expert enough to properly weigh in here so will leave that to others. > > .... Ken
