* [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
@ 2020-03-16 17:01 Vincent Legoll
2020-05-29 0:38 ` Leo Famulari
0 siblings, 1 reply; 6+ messages in thread
From: Vincent Legoll @ 2020-03-16 17:01 UTC (permalink / raw)
To: 40092
[-- Attachment #1: Type: text/plain, Size: 238 bytes --]
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
[-- Attachment #2: 0001-gnu-ocaml-menhir-Update-to-20200211.patch --]
[-- Type: text/x-patch, Size: 1795 bytes --]
From d5a34254f0fdcc53f1f4c2614e5f2393d12e6cc9 Mon Sep 17 00:00:00 2001
From: Vincent Legoll <vincent.legoll@gmail.com>
Date: Mon, 16 Mar 2020 16:32:25 +0100
Subject: [PATCH] gnu: ocaml-menhir: Update to 20200211.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20200211.
[build-system]: Switch from gnu to dune.
[arguments]: Remove phases and make-flags.
[native-inputs]: remove field.
---
gnu/packages/ocaml.scm | 15 ++++-----------
1 file changed, 4 insertions(+), 11 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 047bcc2d7b..6414fc0316 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -706,7 +706,7 @@ Emacs.")
(define-public ocaml-menhir
(package
(name "ocaml-menhir")
- (version "20181113")
+ (version "20200211")
(source
(origin
(method git-fetch)
@@ -715,19 +715,12 @@ Emacs.")
(commit version)))
(file-name (git-file-name name version))
(sha256
- (base32 "1iqdf64ayq4s3d9jkwhs3s8wqc2s48b292hp0kcjsskfhcvwg0kr"))))
- (build-system ocaml-build-system)
+ (base32 "019izf51kdc7pzkw68zg8a2alc8lxw1gwdp7in970mr90n16b5zj"))))
+ (build-system dune-build-system)
(inputs
`(("ocaml" ,ocaml)))
- (native-inputs
- `(("ocamlbuild" ,ocamlbuild)))
(arguments
- `(#:make-flags `("USE_OCAMLFIND=true"
- ,(string-append "PREFIX=" (assoc-ref %outputs "out")))
- #:tests? #f ; No check target
- #:phases
- (modify-phases %standard-phases
- (delete 'configure))))
+ `(#:tests? #f)) ; No check target
(home-page "http://gallium.inria.fr/~fpottier/menhir/")
(synopsis "Parser generator")
(description "Menhir is a parser generator. It turns high-level grammar
--
2.25.1
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
2020-03-16 17:01 [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Vincent Legoll
@ 2020-05-29 0:38 ` Leo Famulari
2020-05-29 8:25 ` Vincent Legoll
0 siblings, 1 reply; 6+ messages in thread
From: Leo Famulari @ 2020-05-29 0:38 UTC (permalink / raw)
To: Vincent Legoll; +Cc: 40092
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?
^ permalink raw reply [flat|nested] 6+ messages in thread
* [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
2020-05-29 0:38 ` Leo Famulari
@ 2020-05-29 8:25 ` Vincent Legoll
2020-05-29 17:12 ` Leo Famulari
0 siblings, 1 reply; 6+ messages in thread
From: Vincent Legoll @ 2020-05-29 8:25 UTC (permalink / raw)
To: Leo Famulari; +Cc: 40092
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
2020-05-29 8:25 ` Vincent Legoll
@ 2020-05-29 17:12 ` Leo Famulari
2020-10-15 17:06 ` zimoun
0 siblings, 1 reply; 6+ messages in thread
From: Leo Famulari @ 2020-05-29 17:12 UTC (permalink / raw)
To: Vincent Legoll; +Cc: 40092
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211
2020-05-29 17:12 ` Leo Famulari
@ 2020-10-15 17:06 ` zimoun
2020-12-08 20:19 ` bug#40092: " Christopher Baines
0 siblings, 1 reply; 6+ messages in thread
From: zimoun @ 2020-10-15 17:06 UTC (permalink / raw)
To: Leo Famulari; +Cc: Vincent Legoll, 40092
Dear,
On Fri, 29 May 2020 at 13:12, Leo Famulari <leo@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. :-)
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#40092: [PATCH] gnu: ocaml-menhir: Update to 20200211
2020-10-15 17:06 ` zimoun
@ 2020-12-08 20:19 ` Christopher Baines
0 siblings, 0 replies; 6+ messages in thread
From: Christopher Baines @ 2020-12-08 20:19 UTC (permalink / raw)
To: zimoun; +Cc: Vincent Legoll, 40092-done, Leo Famulari
[-- Attachment #1: Type: text/plain, Size: 794 bytes --]
zimoun <zimon.toutoune@gmail.com> writes:
> Dear,
>
> On Fri, 29 May 2020 at 13:12, Leo Famulari <leo@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
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 987 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2020-12-08 21:23 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-16 17:01 [bug#40092] [PATCH] gnu: ocaml-menhir: Update to 20200211 Vincent Legoll
2020-05-29 0:38 ` Leo Famulari
2020-05-29 8:25 ` Vincent Legoll
2020-05-29 17:12 ` Leo Famulari
2020-10-15 17:06 ` zimoun
2020-12-08 20:19 ` bug#40092: " Christopher Baines
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).