I have no objections. .... Ken
> On Jul 26, 2019, at 1:20 PM, Stuart Henderson <s...@spacehopper.org> wrote: > >> On 2019/07/26 12:59, Christopher Zimmermann wrote: >> Hi, >> >> now with the actual ports attached. >> to update math/coq lablgtk3 is needed which in turn depends on >> ocaml-cairo and ocaml-configurator. >> new frama-c needs ocaml-yojson, which will pull in ocaml-cppo >> ocaml-easy-format and ocaml-binio with it. >> All except ocaml-configurator where removed from ports more or less >> recently. >> >> ok to (re)import those ports? SUBDIR entries and quirks will need to be >> modified afterwards. >> >> >> Christopher >> >> -- >> http://gmerlin.de >> OpenPGP: http://gmerlin.de/christopher.pub >> CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 > > - several have PERMIT_PACKAGE_CDROM, replace with PERMIT_PACKAGE > > - remove HOMEPAGE where it's set to > https://github.com/${GH_ACCOUNT}/${GH_PROJECT} > as this is the default anyway > > - for x11/lablgtk3, I think we probably want PKGNAME to end up as > lablgtk3-3.0beta6 rather than lablgtk3-3.0.beta6 so set it to > lablgtk3-${V:S/.beta/beta/} > > - various ports are of the form > > V = 1.2.0 > GH_ACCOUNT = mjambon > GH_PROJECT = biniou > GH_TAGNAME = v${V} > DISTNAME = ${GH_PROJECT}-${V} > > which should just be > > GH_ACCOUNT = mjambon > GH_PROJECT = biniou > GH_TAGNAME = v1.2.0 > > some of them have PKGNAME=ocaml-${DISTNAME} which is fine, others have > PKGNAME=${DISTNAME} which is the default and should be removed > > - less uppercase in COMMENT in ocaml-cairo and ocaml-easy-format please > > - only devel/ocaml-cppo is a reimport. I suggest just using cvs add for > this one so you don't have to merge conflicts in cvs (scrap the CVS/ > directory to avoid anything getting confused). looks like all others > are new. >