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.
