GNU bug report logs - #49150
[PATCH 0/9] Add ocamlformat and dependencies

Previous Next

Package: guix-patches;

Reported by: Xinglu Chen <public <at> yoctocell.xyz>

Date: Mon, 21 Jun 2021 09:58:01 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Julien Lepiller <julien <at> lepiller.eu>
To: Xinglu Chen <public <at> yoctocell.xyz>
Cc: 49150 <at> debbugs.gnu.org
Subject: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.
Date: Sun, 27 Jun 2021 15:20:04 +0200
Le Mon, 21 Jun 2021 12:01:53 +0200,
Xinglu Chen <public <at> yoctocell.xyz> a écrit :

> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable.
> ---
>  gnu/packages/ocaml.scm | 13 +++++++++++++
>  1 file changed, 13 insertions(+)
> 
> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
> index 08406a206d..d7d3afd36c 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -1069,6 +1069,19 @@ Knuth’s LR(1) parser construction technique.")
>      (description "This package provides a runtime support library
> for parsers generated by Menhir.")))
>  
> +(define-public ocaml-menhir-sdk
> +  (package
> +    (inherit ocaml-menhir)
> +    (name "ocaml-menhir-sdk")
> +    (arguments
> +     '(#:package "menhirSdk"
> +       #:test-target "sdk"))
> +    (properties
> +     `((upstream-name . "menhirSdk")))
> +    (synopsis "Compile-time library for auxiliary tools related to
> Menhir")
> +    (description "This package provides a compile-time library for
> auxiliary +tools related to Menhir.")))
> +
>  (define-public ocaml-bigarray-compat
>    (package
>      (name "ocaml-bigarray-compat")

MenhirLib and MenhirSdk are both already part of the ocaml-menhir
package, so I don't think it is useful to add separate packages for
them. WDYT?




This bug report was last modified 4 years and 8 days ago.

Previous Next


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