Subject: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.

From: Julien Lepiller <[email-masked]>
Date: Sun, 27 Jun 2021 15:20:04 +0200

Le Mon, 21 Jun 2021 12:01:53 +0200,
Xinglu Chen <[email-masked]> 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?