From patchwork Mon Jun 21 10:01:49 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30572 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C5A2E27BC81; Mon, 21 Jun 2021 11:36:54 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8AA1927BC78 for ; Mon, 21 Jun 2021 11:36:54 +0100 (BST) Received: from localhost ([::1]:52686 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHIT-0004oq-Fd for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:36:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36198) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGkk-00041a-JE for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52165) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGkk-0000Gr-6J for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGkk-0003sb-5B for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 1/9] gnu: ocaml-bisect-ppx: Update to 2.6.1. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:02: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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426971814882 (code B ref 49150); Mon, 21 Jun 2021 10:02:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:01:58 +0000 Received: from localhost ([127.0.0.1]:35473 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkf-0003rx-Vm for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:58 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46600 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGke-0003re-Fk for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:57 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269710; bh=KtE1045PuORXO+OQa94IdccaGBZWCpVFnEy4iIMaMgI=; h=From:To:Subject:In-Reply-To:References:Date; b=X5SR1se+UqsAzPsmn9bQlAMQ08UiYC58EBnKjI7ID/gGK2rEcQj3YsNKeLtNjYXBR 7tNUpUL84q0J/wxNzAgtDbkG+2FZSnm4iwNOBhxOwi8LqJf3KyviVgifpxWQ6lxwpm 9WCn1KbLMRrACHX8kA/NSyYzi7zvnMEkG8vJ4AJ8= In-Reply-To: References: Message-Id: <9891d2ecdc14077d5d808259c2e6658780d55c5f.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:49 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1. [propagated-inputs]: Adjust accordingly. [arguments]: Remove unnecessary phase; disable tests. --- gnu/packages/ocaml.scm | 22 ++++++---------------- 1 file changed, 6 insertions(+), 16 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 21d16a46a1..cccbd45dc4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6513,7 +6513,7 @@ combinators.") (define-public ocaml-bisect-ppx (package (name "ocaml-bisect-ppx") - (version "1.4.2") + (version "2.6.1") (source (origin (method git-fetch) @@ -6523,24 +6523,14 @@ combinators.") (file-name (git-file-name name version)) (sha256 (base32 - "0900vli5kw7s5kdam0n4cqsfsfqb7mdb3azn3i55595gilg1vyn8")))) + "1knglw1b2kjr9jnd8cpfzmm581abxxdcx9l3cd2balg6gnac7qk1")))) (build-system dune-build-system) (propagated-inputs - `(("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree-1) - ("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned) - ("ocaml-ounit" ,ocaml-ounit))) + `(("ocaml-ppxlib" ,ocaml-ppxlib) + ("ocaml-cmdliner" ,ocaml-cmdliner))) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'build 'fix-deprecated - (lambda _ - ;; Fixed upstream in 22dd1ad9a0c9629f60599c22d82c6488394d6d32, but - ;; not in a release yet. - (substitute* "src/ppx/instrument.ml" - (("module Ast = Ast_405") - "module Ast = Migrate_parsetree.Ast_405 -module Ast_405 = Ast")) - #t))))) + ;; Tests require ocamlformat which would lead to circular dependencies + '(#:tests? #f)) (home-page "https://github.com/aantron/bisect_ppx") (synopsis "Code coverage for OCaml") (description "Bisect_ppx helps you test thoroughly. It is a small From patchwork Mon Jun 21 10:01:51 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30569 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7157E27BC81; Mon, 21 Jun 2021 11:30:25 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 277A427BC78 for ; Mon, 21 Jun 2021 11:30:25 +0100 (BST) Received: from localhost ([::1]:37570 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHCC-0002m6-7B for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:30:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36200) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGkl-000424-9N for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52167) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGkk-0000HE-KU for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGkk-0003sj-Ie for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 2/9] gnu: Add ocaml-menhir-lib. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:02: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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972114907 (code B ref 49150); Mon, 21 Jun 2021 10:02:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:01 +0000 Received: from localhost ([127.0.0.1]:35476 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkj-0003sF-8N for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46606 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkf-0003rf-I7 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:01:57 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269712; bh=AnJSfVWtTGXN63VAG28Srn0otyivf8QV+DMy4QLMebU=; h=From:To:Subject:In-Reply-To:References:Date; b=aJ1yDecMiBhrVsYb8Ri+TIng+N7ERjtXNqxlQWLhlebFcVyADfaBXjiLsAZ8yKvNU USNnT4JiynETLRjrNXH3qZlwMWaDX42elOd+jbUfXOndPyLm1WpmIcULoZOIsgMUnr eXY3uyZD3yFNi560EOU/+74z0TAxgRw/NDMWdIKo= In-Reply-To: References: Message-Id: <29255619678ca3cbf239a67cbce611db7274968c.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:51 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-menhir-lib): 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 cccbd45dc4..08406a206d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1056,6 +1056,19 @@ Knuth’s LR(1) parser construction technique.") ;; are QPL licensed. (license (list license:gpl2+ license:qpl)))) +(define-public ocaml-menhir-lib + (package + (inherit ocaml-menhir) + (name "ocaml-menhir-lib") + (arguments + '(#:package "menhirLib" + #:tests? #f)) + (properties + `((upstream-name . "menhirLib"))) + (synopsis "Runtime support library for parsers generated by Menhir") + (description "This package provides a runtime support library for parsers +generated by Menhir."))) + (define-public ocaml-bigarray-compat (package (name "ocaml-bigarray-compat") From patchwork Mon Jun 21 10:01:53 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30573 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EB2CA27BC81; Mon, 21 Jun 2021 11:37:06 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id BEA2B27BC78 for ; Mon, 21 Jun 2021 11:37:06 +0100 (BST) Received: from localhost ([::1]:53574 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHIf-0005Qv-Np for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:37:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36202) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGkl-00042b-E0 for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52168) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGkl-0000Hc-4Z for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGkl-0003ss-0T for guix-patches@gnu.org; Mon, 21 Jun 2021 06:02:03 -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: Mon, 21 Jun 2021 10:02: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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972214913 (code B ref 49150); Mon, 21 Jun 2021 10:02:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:02 +0000 Received: from localhost ([127.0.0.1]:35478 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkj-0003sL-IF for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46612 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkh-0003ri-Vk for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:00 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269714; bh=Ti3U8q0VajzuwSdxEMUFv+hiIwagfeCIk28HaP4lGHI=; h=From:To:Subject:In-Reply-To:References:Date; b=YKwgXeAubRePHXAjv46ax6/Tbk9E3SaVSVzuBaxxeyrpfoljApfn64oY2otSeJnYk v1476hHx9MCewnBpudpYRLAj4Xex1X9RVWm58UpYC6U7dH7Thyky92aJp2HwgxY3P5 r2AyR/61ocpkljsJkGUkz2OPQ/qBZZiy+TITv0wU= In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:53 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Mon Jun 21 10:01:56 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30568 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 16B3E27BC81; Mon, 21 Jun 2021 11:29:06 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id D2ABB27BC78 for ; Mon, 21 Jun 2021 11:29:05 +0100 (BST) Received: from localhost ([::1]:34932 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHAu-00011s-OJ for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:29:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36366) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlj-0005CL-Dy for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52186) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGli-0000r1-SR for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGli-0003vS-Dy for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 4/9] gnu: Add ocaml-uucd. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03: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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972814980 (code B ref 49150); Mon, 21 Jun 2021 10:03:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:08 +0000 Received: from localhost ([127.0.0.1]:35488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkp-0003tX-T8 for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46618 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkk-0003rr-Cp for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:02 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269716; bh=Ty4bIfwP0DZbrtjmOZ/J8oiW3EOBRPYKNay3fWoWVcE=; h=From:To:Subject:In-Reply-To:References:Date; b=lVYgLdx14V//saGzRNMqHjnOaLhJ/ts17mKWvuNjtZx2yEQpauOAxitX9gWW80mB8 dTeNLK8DEc3eQFihhHWrertvl9XD48LPOPYl8AFBzVV8l4IFGRCtKp+ne/1zZYu7SK jWiVJFYLy0WOXxbvR3eCTI5ocRBZfLCXFMK+yXu8= In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:56 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-uucd): New variable. --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d7d3afd36c..34b909bcb1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6957,6 +6957,39 @@ provides support to program with time varying values: declarative events and client chooses the concrete timeline.") (license license:lgpl2.1+))) +(define-public ocaml-uucd + (package + (name "ocaml-uucd") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uucd/releases/" + "uucd-" version ".tbz")) + (sha256 + (base32 + "1fg77hg4ibidkv1x8hhzl8z3rzmyymn8m4i35jrdibb8adigi8v2")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs + `(("ocaml-xmlm" ,ocaml-xmlm))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg))) + (home-page "https://erratique.ch/software/uucd") + (synopsis "Unicode character database decoder for OCaml") + (description "Uucd is an OCaml module to decode the data of the Unicode +character database from its XML representation. It provides high-level (but +not necessarily efficient) access to the data so that efficient +representations can be extracted.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Mon Jun 21 10:01:58 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30570 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 553BE27BC81; Mon, 21 Jun 2021 11:31:14 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 0C6C327BC78 for ; Mon, 21 Jun 2021 11:31:14 +0100 (BST) Received: from localhost ([::1]:38458 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHCx-0003Ml-EH for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:31:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36368) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlj-0005CM-DW for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52187) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGli-0000ra-Tq for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGli-0003va-Q3 for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 5/9] gnu: Add ocaml-uucp. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03: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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972814993 (code B ref 49150); Mon, 21 Jun 2021 10:03:02 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:08 +0000 Received: from localhost ([127.0.0.1]:35490 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkq-0003tZ-5c for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46628 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkm-0003s6-7p for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:04 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269718; bh=l4cQ/viC+lYaAIDrzNGvBbcZI03yj4iR/ZhgaXeFdAQ=; h=From:To:Subject:In-Reply-To:References:Date; b=c6YQ7rTCzIcgqvLK29+AOruB18k1cU9NUXyOZG9AisHD1xW6JAL8bskgLCl2IIfuz hP4I45hUMuRQLELEn54tqqwvYiy6mYiW9omKBMjQjiCgCtiToXEb0BdbZnSMPn5HRs aEqobGCAkfgy5Q+q2eYDA9tG9nNmMKxrrJ+DMUZA= In-Reply-To: References: Message-Id: Date: Mon, 21 Jun 2021 12:01:58 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-uucp): New variable. --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 34b909bcb1..8df397fd2e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6990,6 +6990,38 @@ not necessarily efficient) access to the data so that efficient representations can be extracted.") (license license:isc))) +(define-public ocaml-uucp + (package + (name "ocaml-uucp") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uucp/releases/" + "uucp-" version ".tbz")) + (sha256 + (base32 + "19kf8ypxaakacgg1dwwfzkc2zicaj88cmw11fw2z7zl24dn4gyiq")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg) + ("ocaml-uucd" ,ocaml-uucd) + ("ocaml-uunf" ,ocaml-uunf) + ("ocaml-uutf" ,ocaml-uutf))) + (home-page "https://erratique.ch/software/uucp") + (synopsis "Unicode character properties for OCaml") + (description "Uucp is an OCaml library providing efficient access to a +selection of character properties of the Unicode character database.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Mon Jun 21 10:01:59 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30571 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 049AA27BC81; Mon, 21 Jun 2021 11:31:26 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id ACFBD27BC78 for ; Mon, 21 Jun 2021 11:31:25 +0100 (BST) Received: from localhost ([::1]:39302 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHDA-0003xa-Lu for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:31:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36378) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlm-0005Cl-9j for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52189) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGlj-0000sI-Lj for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGlj-0003vp-Jy for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 6/9] gnu: Add ocaml-uuseg. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03:03 +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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972915007 (code B ref 49150); Mon, 21 Jun 2021 10:03:03 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:09 +0000 Received: from localhost ([127.0.0.1]:35494 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkr-0003tt-1B for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:09 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46636 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkn-0003sE-PY for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:06 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269720; bh=9rj5LPoX+RkZ+2rOFPuGs24aXd+986G9oJhx3+DZ8XY=; h=From:To:Subject:In-Reply-To:References:Date; b=jCgmujsS56Z0ir5dCZHRE4oO7DwVcm98jkGFA+zaJdZv68XVZ+XbK+2WHVUW+a0DZ E6mmCL9kZg0LcV738XPDZMv8EUBUENsjzChxE4Y8wnilotTXXadyibXNTFl3513mME /86MDoVBhTik1g4YE5zI8a37kUrA+yU3dQS0tJ/M= In-Reply-To: References: Message-Id: <82bd75fc0f53931e04f4fa2eac45f753f9203222.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:01:59 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-uuseg): New variable. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8df397fd2e..c2e1039146 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7022,6 +7022,45 @@ representations can be extracted.") selection of character properties of the Unicode character database.") (license license:isc))) +(define-public ocaml-uuseg + (package + (name "ocaml-uuseg") + (version "13.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://erratique.ch/software/uuseg/releases/" + "uuseg-" version ".tbz")) + (sha256 + (base32 + "1a635j8ra6p27g1ivfln3387lhwqmf6vq4r6bn7b6n1qsqyi1rls")))) + (build-system ocaml-build-system) + (arguments + '(#:build-flags '("build" "--tests" "true") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (propagated-inputs + `(("ocaml-uucp" ,ocaml-uucp) + ("ocaml-uutf" ,ocaml-uutf) + ("ocaml-cmdliner" ,ocaml-cmdliner))) + (native-inputs + `(("opam" ,opam) + ("ocaml-findlib" ,ocaml-findlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-topkg" ,ocaml-topkg))) + (home-page "https://erratique.ch/software/uuseg") + (synopsis "Unicode text segmentation for OCaml") + (description "Uuseg is an OCaml library for segmenting Unicode text. It +implements the locale independent Unicode text segmentation algorithms to +detect grapheme cluster, word and sentence boundaries and the Unicode line +breaking algorithm to detect line break opportunities. + +The library is independent from any IO mechanism or Unicode text data +structure and it can process text without a complete in-memory +representation.") + (license license:isc))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Mon Jun 21 10:02:01 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30574 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6781A27BC81; Mon, 21 Jun 2021 11:37:23 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 2D02227BC78 for ; Mon, 21 Jun 2021 11:37:23 +0100 (BST) Received: from localhost ([::1]:54482 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHIw-000624-3q for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:37:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36376) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlm-0005Ck-9Z for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52190) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGlk-0000sJ-2N for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGlk-0003vx-0S for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 7/9] gnu: Add ocaml-fix. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03:03 +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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426973715028 (code B ref 49150); Mon, 21 Jun 2021 10:03:03 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:17 +0000 Received: from localhost ([127.0.0.1]:35497 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkz-0003uJ-Ag for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:17 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46642 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkp-0003sh-JG for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269721; bh=Zt2x3GHPpgH8e9tKK+8hU6qCAD2rl/l16uLzMPEeRKg=; h=From:To:Subject:In-Reply-To:References:Date; b=QC0sm1qspIpM09JNGwpdVHwf4yQU2UMqQuWGz7lvo7c4+aGgmeyU4ZUMxabhQJcGO gJU+k24JYD5lvTob7/yoykgjr7VoJz8hv7r8UOvQrTWeM/fNtmcrr/S/jHrISqmN/6 1fMFpBsybi2O6B/FJRXnfnb257OHQ2uigPJb8+YQ= In-Reply-To: References: Message-Id: <7eb675d085b0656e3db8ebca6d3160a4c5a83c8d.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:01 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-fix): New variable. --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c2e1039146..94e5f23ec0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7061,6 +7061,30 @@ structure and it can process text without a complete in-memory representation.") (license license:isc))) +(define-public ocaml-fix + (package + (name "ocaml-fix") + (version "20201120") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/fpottier/fix") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1j40mg1gy03c0djzx3nzmpvnl984s14n04zwcmp2xnlidq48kvs4")))) + (build-system dune-build-system) + (arguments + ;; No tests. + '(#:tests? #f)) + (home-page "https://gitlab.inria.fr/fpottier/fix") + (synopsis "Facilities for memoization and fixed points") + (description "This package provides helpers with various constructions +that involve memoization and recursion.") + (license license:lgpl2.0))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Mon Jun 21 10:02:03 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30575 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 75E3F27BC81; Mon, 21 Jun 2021 11:37:36 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 2FE2327BC78 for ; Mon, 21 Jun 2021 11:37:36 +0100 (BST) Received: from localhost ([::1]:55318 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHJ9-0006Ze-7o for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:37:35 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36374) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlm-0005Cj-94 for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52191) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGlk-0000sK-FS for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGlk-0003w4-Dc for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 8/9] gnu: Add ocaml-dune-build-info. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03:04 +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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426973815034 (code B ref 49150); Mon, 21 Jun 2021 10:03:04 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:18 +0000 Received: from localhost ([127.0.0.1]:35499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkz-0003uL-Ne for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:17 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46650 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkr-0003tE-45 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:09 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269723; bh=mvHuck27NjitMIVKD7E25SrczvgsdQZSYYlw2LH02dU=; h=From:To:Subject:In-Reply-To:References:Date; b=If8/cgJVTLmnvKZj7huMPoCTzXyWSodHrp9sd2PHAxKaB6BtXUb0m/FwZuXdv23+i zCq+HeVE6o15B9sBdJv8kAx7xIsKr134fr6Z86/vJb0V0gFeG462Z8PBdjw0hdpy3/ i/FAPq677WeEqMXp9COaeLi+QF+o3hfAN2Dz0Xa8= In-Reply-To: References: Message-Id: <9168948c67bdf6830b4075d0ada0526f03e4168f.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:03 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable. --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 94e5f23ec0..b78e3ab2fa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7085,6 +7085,24 @@ representation.") that involve memoization and recursion.") (license license:lgpl2.0))) +(define-public ocaml-dune-build-info + (package + (inherit dune) + (name "ocaml-dune-build-info") + (build-system dune-build-system) + (arguments + '(#:package "dune-build-info" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs + `(("ocaml-odoc" ,ocaml-odoc))) + (synopsis "Embed build informations inside executable") + (description "This package allows one to access information about how the +executable was built, such as the version of the project at which it was built +or the list of statically linked libraries with their versions. It supports +reporting the version from the version control system during development to +get an precise reference of when the executable was built."))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Mon Jun 21 10:02:04 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xinglu Chen X-Patchwork-Id: 30576 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5C85027BC81; Mon, 21 Jun 2021 11:37:49 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 1C7A427BC78 for ; Mon, 21 Jun 2021 11:37:49 +0100 (BST) Received: from localhost ([::1]:56130 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvHJM-00076w-5U for patchwork@mira.cbaines.net; Mon, 21 Jun 2021 06:37:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36370) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvGlm-0005Ci-1L for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:09 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52188) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvGlj-0000sF-9a for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lvGlj-0003vi-7P for guix-patches@gnu.org; Mon, 21 Jun 2021 06:03:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49150] [PATCH 9/9] gnu: Add ocamlformat. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Jun 2021 10:03:03 +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: 49150@debbugs.gnu.org Received: via spool by 49150-submit@debbugs.gnu.org id=B49150.162426972915000 (code B ref 49150); Mon, 21 Jun 2021 10:03:03 +0000 Received: (at 49150) by debbugs.gnu.org; 21 Jun 2021 10:02:09 +0000 Received: from localhost ([127.0.0.1]:35492 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkq-0003tm-P8 for submit@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:08 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46628 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lvGkn-0003s6-A3 for 49150@debbugs.gnu.org; Mon, 21 Jun 2021 06:02:05 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624269725; bh=rqxBwWc761Z8Idjq431E8nAHlJOfZEUN0zqNx+/dWSg=; h=From:To:Subject:In-Reply-To:References:Date; b=QxhQNJwcfV0qxOhjN41ebN8tqGwLIwndrouLSKOWArnClqqvf6uds76eO8F7ZymdT BSYYosdE8LG3tRkvNRKSq3H4HpU2AUxdta1JrdvmIcs/JcxeU+gYTpw/31lG/R5sks YiZ9mi9hELVe1ImDR2secg829aUgC58L35Dis21U= In-Reply-To: References: Message-Id: <6b6c96975b9ad8872f6cb0f39fb53881af4bca2e.1624269361.git.public@yoctocell.xyz> Date: Mon, 21 Jun 2021 12:02:04 +0200 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocamlformat): New variable. --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b78e3ab2fa..ca15b86c8a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7103,6 +7103,52 @@ or the list of statically linked libraries with their versions. It supports reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocamlformat + (package + (name "ocamlformat") + (version "0.18.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-ppx/ocamlformat") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0n6363km8xr81pvyk453n6h2mb0256c5yxw3p1li4dn83f3lwxr1")))) + (build-system dune-build-system) + (arguments + '(#:package "ocamlformat" + ;; FIXME: The expected format is slightly different than what the + ;; produced format is for test/cli/stdin.t + #:tests? #f)) + (propagated-inputs + `(("ocaml-version" ,ocaml-version) + ("ocaml-base" ,ocaml-base) + ("ocaml-cmdliner" ,ocaml-cmdliner) + ("ocaml-dune-build-info" ,ocaml-dune-build-info) + ("ocaml-fix" ,ocaml-fix) + ("ocaml-fpath" ,ocaml-fpath) + ("ocaml-menhir" ,ocaml-menhir) + ("ocaml-menhir-lib" ,ocaml-menhir-lib) + ("ocaml-menhir-sdk" ,ocaml-menhir-sdk) + ("ocaml-odoc" ,ocaml-odoc) + ("ocaml-ppxlib" ,ocaml-ppxlib) + ("ocaml-re" ,ocaml-re) + ("ocaml-stdio" ,ocaml-stdio) + ("ocaml-uuseg" ,ocaml-uuseg) + ("ocaml-uutf" ,ocaml-uutf))) + (native-inputs + `(("ocaml-alcotest" ,ocaml-alcotest) + ("ocaml-ocp-indent" ,ocaml-ocp-indent) + ("ocaml-bisect-ppx" ,ocaml-bisect-ppx))) + (home-page "https://github.com/ocaml-ppx/ocamlformat") + (synopsis "Auto-formatter for OCaml code") + (description "OCamlFormat is a tool to automatically format OCaml code in +a uniform style.") + (license license:expat))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf")