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

Previous Next

Full log

Message #38 received at 49150 <at> debbugs.gnu.org (full text, mbox):

From: Xinglu Chen <public <at> yoctocell.xyz>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 49150 <at> debbugs.gnu.org
Subject: Re: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.
Date: Sun, 27 Jun 2021 15:37:02 +0200

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

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?

[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.