GNU bug report logs - #40092
[PATCH] gnu: ocaml-menhir: Update to 20200211

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 40092 in the body.
You can then email your comments to 40092 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Vincent Legoll <vincent.legoll <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Mon, 16 Mar 2020 18:01:15 +0100

[Message part 1 (text/plain, inline)]

The attached patch depends on the
previously submitted for inclusion dune 2.4.0
update (which may not go into master)

The package is switched from ocaml-build-system to dune-build-system.

This one is untested though

-- 
Vincent Legoll

[0001-gnu-ocaml-menhir-Update-to-20200211.patch (text/x-patch, attachment)]

Message #8 received at 40092 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Vincent Legoll <vincent.legoll <at> gmail.com>
Cc: 40092 <at> debbugs.gnu.org
Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Thu, 28 May 2020 20:38:59 -0400

On Mon, Mar 16, 2020 at 06:01:15PM +0100, Vincent Legoll wrote:
> The attached patch depends on the
> previously submitted for inclusion dune 2.4.0
> update (which may not go into master)
> 
> The package is switched from ocaml-build-system to dune-build-system.
> 
> This one is untested though

It's been a while... is this patch still waiting for something else?

Message #11 received at 40092 <at> debbugs.gnu.org (full text, mbox):

From: Vincent Legoll <vincent.legoll <at> gmail.com>
To: Leo Famulari <leo <at> famulari.name>
Cc: 40092 <at> debbugs.gnu.org
Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Fri, 29 May 2020 10:25:34 +0200

Hello,

On 29/05/2020 02:38, Leo Famulari wrote:
> On Mon, Mar 16, 2020 at 06:01:15PM +0100, Vincent Legoll wrote:
>> The attached patch depends on the
>> previously submitted for inclusion dune 2.4.0
>> update (which may not go into master)
>>
>> The package is switched from ocaml-build-system to dune-build-system.
>>
>> This one is untested though
> 
> It's been a while... is this patch still waiting for something else?

Yes, this depends on dune 2 (we still have 1.11.3) which is breaking
compatibility by removing support for jhbuild. See details in issue:
#40091.

I'm not into ocaml, (was just trying to update packages, to get
acquainted with guix packaging). I think I was too optimistic with
those.

I'll let the ones who know handle this.

I don't know if this means closing the issues or letting them open
though...

-- 
Vincent Legoll

Message #16 received at 40092 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Vincent Legoll <vincent.legoll <at> gmail.com>
Cc: 40092 <at> debbugs.gnu.org
Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Fri, 29 May 2020 13:12:56 -0400

On Fri, May 29, 2020 at 10:25:34AM +0200, Vincent Legoll wrote:
> Yes, this depends on dune 2 (we still have 1.11.3) which is breaking
> compatibility by removing support for jhbuild. See details in issue:
> #40091.

Alright, I've set this patch as "blocked by" #40091 in the bug tracker.

Message #19 received at 40092 <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: Leo Famulari <leo <at> famulari.name>
Cc: Vincent Legoll <vincent.legoll <at> gmail.com>, 40092 <at> debbugs.gnu.org
Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Thu, 15 Oct 2020 19:06:53 +0200

Dear,

On Fri, 29 May 2020 at 13:12, Leo Famulari <leo <at> famulari.name> wrote:
> On Fri, May 29, 2020 at 10:25:34AM +0200, Vincent Legoll wrote:
>> Yes, this depends on dune 2 (we still have 1.11.3) which is breaking
>> compatibility by removing support for jhbuild. See details in issue:
>> #40091.
>
> Alright, I've set this patch as "blocked by" #40091 in the bug tracker.

The recent commit 339177956a updates dune to 2.7.1, therefore somehow
unblock 40091.  Could you try to rebase your patch?


All the best,
simon

PS:
It could be nice to have this recent version of menhir in v1.2. :-)

Message #24 received at 40092-done <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: Vincent Legoll <vincent.legoll <at> gmail.com>, 40092-done <at> debbugs.gnu.org,
 Leo Famulari <leo <at> famulari.name>
Subject: Re: [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
Date: Tue, 08 Dec 2020 20:19:08 +0000

[Message part 1 (text/plain, inline)]

zimoun <zimon.toutoune <at> gmail.com> writes:

> Dear,
>
> On Fri, 29 May 2020 at 13:12, Leo Famulari <leo <at> famulari.name> wrote:
>> On Fri, May 29, 2020 at 10:25:34AM +0200, Vincent Legoll wrote:
>>> Yes, this depends on dune 2 (we still have 1.11.3) which is breaking
>>> compatibility by removing support for jhbuild. See details in issue:
>>> #40091.
>>
>> Alright, I've set this patch as "blocked by" #40091 in the bug tracker.
>
> The recent commit 339177956a updates dune to 2.7.1, therefore somehow
> unblock 40091.  Could you try to rebase your patch?
>
>
> All the best,
> simon
>
> PS:
> It could be nice to have this recent version of menhir in v1.2. :-)

This patch looks good to me, so I've gone ahead and pushed to master as
20e5658c0471c76cc297cfd30ad49f0585310e27.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.