From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id IO1FOUJ/2GACxwAAgWs5BA (envelope-from ) for ; Sun, 27 Jun 2021 15:38:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id KA7+NEJ/2GCAcwAA1q6Kng (envelope-from ) for ; Sun, 27 Jun 2021 13:38:10 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 25CE324CA9 for ; Sun, 27 Jun 2021 15:38:09 +0200 (CEST) Received: from localhost ([::1]:36012 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lxUzA-0000aB-Ew for larch@yhetil.org; Sun, 27 Jun 2021 09:38:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44636) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lxUz4-0000a3-CZ for guix-patches@gnu.org; Sun, 27 Jun 2021 09:38:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37563) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lxUz4-0003T2-5L for guix-patches@gnu.org; Sun, 27 Jun 2021 09:38:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lxUz4-0000Bj-41 for guix-patches@gnu.org; Sun, 27 Jun 2021 09:38:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 3/9] gnu: Add ocaml-menhir-sdk. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 27 Jun 2021 13:38:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.1624801033668 (code B ref 49150); Sun, 27 Jun 2021 13:38:02 +0000 Received: (at 49150) by debbugs.gnu.org; 27 Jun 2021 13:37:13 +0000 Received: from localhost ([127.0.0.1]:49109 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUyH-0000Ai-By for submit@debbugs.gnu.org; Sun, 27 Jun 2021 09:37:13 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:45698 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lxUyE-0000AU-Ni for 49150@debbugs.gnu.org; Sun, 27 Jun 2021 09:37:11 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624801023; bh=tPBADNwppUhcaFscWmjDjiFcyhbbEO1o1c5kTO0qHVI=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=CMRugNF7BEatcJIGc0RAJvzhvZH2mfh+mrUquxj0SRvI4FlUNu0JqdOXcZW569enj 5AUS+DHQhrjUt+T+wySpJvI4NnR5B2oxAdqVYz3ZXoNaT7ofQkoXs6M/4yWe3XO43N 4w8LFXm694bfdodKWpUCVCwpJz+1lD4KB2Ba86n8= In-Reply-To: <20210627152004.200120d8@tachikoma.lepiller.eu> References: <20210627152004.200120d8@tachikoma.lepiller.eu> Date: Sun, 27 Jun 2021 15:37:02 +0200 Message-ID: <87k0mf4ef5.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624801090; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=+R7r+gT868NAuCoE6slKEuv2PN0pQS/8SUClQNVuMPs=; b=pARJw0urpwkOmmCjWLo6WPr0A+gS99CHVi8z35micEgM3wwioklxUTZcTwmp9rqdBRq4T+ xyC0dNMHE0VYDS52iSvjH71FUzpTaEg1ny3fpyggrugYPndjbP+tU/6lLyK8uPyALQ17X7 FRFIjG1SWH2eFtlCrG6HtgNdT4t87+QXTStGXIu86EjoL7pqqE21JEpJ8rUVmF75CMKpw7 qeGZYop1Ftq4WRV+MbL4OVB2w89y4cAi3TlQAfBzAy9KT1Q5f4zKNuG6l3ilpiJveXh0xd Jd+C7AWDxqpJg6oP1C+btsezWS0UQtU84kytypsn+oEhqtd7WyxkBtAqrlRPJQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624801090; a=rsa-sha256; cv=none; b=gunF5crVDxhUWQ7rLg3WJcp6VjsuubgcMgIJXNfVTEKvf/7RPZKuYCmzABUZnu5804NSji zTBiNF+1xeVkVjz3yHpZ5dI1vLw+wR1qwtbSbTFX03C129h7nmqgG+pm0vDBS3t7WCFHKx W86iXcxw2s0uX6+VLDoR7L99aFxvftoyW7tK8dhA1bTAnmviDmgcSi+ZyIpnG8UPj8SA1x H0wlWYL4T/RGMl/aDoL78EfgLoUqswYeZR6TaZuPflYKdzqJPYzuKfn7m3bJuTv5wpGuK0 g72pu0ycLl+pbLhhFTlMVVogOCgh6SnZkshndgVL41vbfiixiPNnYzSE+JPRQg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=CMRugNF7; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -3.43 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=CMRugNF7; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 25CE324CA9 X-Spam-Score: -3.43 X-Migadu-Scanner: scn1.migadu.com X-TUID: pGTSYbCZeUYJ --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Sun, Jun 27 2021, Julien Lepiller wrote: > Le Mon, 21 Jun 2021 12:01:53 +0200, > Xinglu Chen a =C3=A9crit : > >> * gnu/packages/ocaml.scm (ocaml-menhir-sdk): New variable. >> --- >> gnu/packages/ocaml.scm | 13 +++++++++++++ >> 1 file changed, 13 insertions(+) >>=20 >> 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=E2=80=99s LR(1) parser construction techniq= ue.") >> (description "This package provides a runtime support library >> for parsers generated by Menhir."))) >>=20=20 >> +(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 =E2=80=98ocaml-menhir=E2=80=99 to only the Menhir package. WDYT? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmDYfv4VHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x53tQP/0Z9RARSyYOGfr2zI0w6IGN0iY3n obbATV8GStDuERa0UK7KEdc6iB3ccoghunIFTAuGlAjNDzDxrzyKh1mEulROtQGk dZBUwX+DCd3UxiSbD0DQZgOh7/AAAZldVecx49+YJEXXEniWV/cb4Qd5pEzpRjm4 PwQmGmOKe+3K3FVB1vF3FRmyhg4jc494g6cKBjeW8lotBy4C8jOI1SEmwnNrhgYB c52LddDkYJ6ATJPCF9837HGpGRL1GDr3VAAc5AVWbaU7cY1uDmih4xo7ISSlUvqa P8uaAUSP/t5fnx18UDeJz341Eeu5rZDVn9pJ3NA2SsyvovBgJf0pmBLLyGq5/hg2 YrJJSXZ0/7De5Od7+vSG2+q2WN6kG2BgliXg15KAkRHQLG1XYrO/ua7FSBsW2/qu URE0RwZOdNNZ6RvVhBN9tOHSBFzWeqefySFf/TP+IwIl6MlrqzWiT5WZYjkyF4tZ +YMwz2QwCtJQ0Bs6OvPiaF7XrdWgEoW2xmuzgXYxV7u1KQJtOvA2mNh9givNVCrh m7Psi6PuyPfK52tjU1SltwI3/HWNWOHXYvzG3jN/kF4Rzu0bmjl3YrBkqn1D7ZUw afTmwEvTVXKbPIT7PHFaxJK0L7p5twvNG/PmKM6KPg7qQt3fccFy/yqujmQdHd6O 7K/rpKaGDgt4fi8X =OlZq -----END PGP SIGNATURE----- --=-=-=--