[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.
From: |
Xinglu Chen |
Subject: |
[bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk. |
Date: |
Wed, 04 Aug 2021 10:23:59 +0200 |
On Sun, Jun 27 2021, Xinglu Chen wrote:
> On Sun, Jun 27 2021, Julien Lepiller wrote:
>
>> Le Mon, 21 Jun 2021 12:01:53 +0200,
>> Xinglu Chen <public@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?
>
> Ah, then we can probably drop them, but they (Menhir, MenhirLib, and
> MenhirSdk) are three separate packages on Opam, so i could also make
> sense to restrict ‘ocaml-menhir’ to only the Menhir package.
>
> WDYT?
Ping! :)
signature.asc
Description: PGP signature
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.,
Xinglu Chen <=