From: Xinglu Chen <public@yoctocell.xyz>
To: Julien Lepiller <julien@lepiller.eu>
Cc: 49150@debbugs.gnu.org
Subject: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk.
Date: Wed, 04 Aug 2021 10:23:59 +0200 [thread overview]
Message-ID: <87czqt4nz4.fsf@yoctocell.xyz> (raw)
In-Reply-To: <87k0mf4ef5.fsf@yoctocell.xyz>
[-- Attachment #1: Type: text/plain, Size: 1723 bytes --]
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! :)
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 861 bytes --]
next prev parent reply other threads:[~2021-08-04 8:26 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-21 9:56 [bug#49150] [PATCH 0/9] Add ocamlformat and dependencies Xinglu Chen
2021-06-21 10:01 ` [bug#49150] [PATCH 1/9] gnu: ocaml-bisect-ppx: Update to 2.6.1 Xinglu Chen
2021-06-21 10:01 ` [bug#49150] [PATCH 2/9] gnu: Add ocaml-menhir-lib Xinglu Chen
2021-06-21 10:01 ` [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk Xinglu Chen
2021-06-27 13:20 ` Julien Lepiller
2021-06-27 13:37 ` Xinglu Chen
2021-08-04 8:23 ` Xinglu Chen [this message]
2021-06-21 10:01 ` [bug#49150] [PATCH 4/9] gnu: Add ocaml-uucd Xinglu Chen
2021-06-21 10:01 ` [bug#49150] [PATCH 5/9] gnu: Add ocaml-uucp Xinglu Chen
2021-06-21 10:01 ` [bug#49150] [PATCH 6/9] gnu: Add ocaml-uuseg Xinglu Chen
2021-06-21 10:02 ` [bug#49150] [PATCH 7/9] gnu: Add ocaml-fix Xinglu Chen
2021-06-21 10:02 ` [bug#49150] [PATCH 8/9] gnu: Add ocaml-dune-build-info Xinglu Chen
2021-06-21 10:02 ` [bug#49150] [PATCH 9/9] gnu: Add ocamlformat Xinglu Chen
2021-08-08 20:45 ` bug#49150: [PATCH 0/9] Add ocamlformat and dependencies Julien Lepiller
2021-08-09 9:36 ` [bug#49150] " Xinglu Chen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87czqt4nz4.fsf@yoctocell.xyz \
--to=public@yoctocell.xyz \
--cc=49150@debbugs.gnu.org \
--cc=julien@lepiller.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.