On Wed, Jun 19 2019, Jeremie Courreges-Anglas <jca@wxcvbn.org> wrote:
> On Wed, Jun 19 2019, Christopher Zimmermann <chrisz@openbsd.org> wrote:
>> On Tue, 18 Jun 2019 14:17:49 -0400
>> ygrek <ygrek@autistici.org> wrote:
>>
>>> On Mon, 17 Jun 2019 20:34:41 +0100
>>> Anil Madhavapeddy <anil@recoil.org> wrote:
>>>
>>> > I think this approach is fine for this particular package, since
>>> > upstream lags in recent times.
>>> >
>>> > The opam package for mldonkey is on ocaml<4.06, but I'm CCing the
>>> > current maintainer Ygrek in case there is a 4.08 port in the
>>> > offing.
>>>
>>> 4.08 support depends on camlp4 which is not yet available.
>>> I am maintaining git repository at github.com/ygrek/mldonkey - it
>>> builds fine with 4.07
>>
>>> > > Is this the way to go? OK to commit?
>>> > > Is this port still in use?
>>>
>>> I don't think this is a good way forward if that package is used on
>>> non-x86 archs, there were many bugs there in older ocaml versions.
>>
>>
>> Ok. So mldonkey is the only port still using deprecated camlp4.
>> I already adapted camlp5 to OCaml 4.08, because coq needs camlp5.
>> But I'm reluctant to do the same for deprecated camlp4.
>>
>> * sthen@, krw@ already consented with removal of mldonkey
>> * anil@ proposed to disable the port (and therefore camlp4, too)
>> until camlp4 catches up.
>>
>> For the time being I would like to choose the second option and disable
>> mldonkey and camlp4, but only enable them again on request.
>> Then when no one complains and they have rotten long enough we can
>> dispose of them.
>>
>> OK?
>
> ok jca@ to mark lang/ocaml-camlp4 as BROKEN with ocaml-4.08, which
> should be sufficient for now.
And just to make things clear: please don't mark it BROKEN before the
ocaml-4.08 update is committed.
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
No comments:
Post a Comment