Re: (re)import some ocaml ports needed for math/coq and devel/frama-c updates

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.