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

Previous Next

Full log

View this message in rfc822 format

From: Xinglu Chen <public <at> yoctocell.xyz>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 49150 <at> debbugs.gnu.org
Subject: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.
Date: Wed, 04 Aug 2021 10:23:59 +0200

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

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 <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?
>
> 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 (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.