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

I have no objections.

.... Ken

> On Jul 26, 2019, at 1:20 PM, Stuart Henderson <stu@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.
>