From patchwork Tue Aug 8 13:22:58 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52658 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 E518B27BBE9; Tue, 8 Aug 2023 14:24:41 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 76CEC27BBE2 for ; Tue, 8 Aug 2023 14:24:41 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMgy-0001dS-HP; Tue, 08 Aug 2023 09:24:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMgw-0001ce-Mv for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMgw-00009U-0w for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMgt-0002jT-OK; Tue, 08 Aug 2023 09:24:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 01/14] gnu: Fix ocaml-dune-build-info Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:24:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104210477 (code B ref 64209); Tue, 08 Aug 2023 13:24:03 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:02 +0000 Received: from localhost ([127.0.0.1]:35581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgr-0002ik-He for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:01 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:53630) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgo-0002ha-27 for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:23:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501030; bh=eCeiJj0X32gf1t1e+LVFfRIMfbJo+qYxxStNMppQYcI=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=bSBPyzS8cZE7CWVxSBPB6o8PoXA4ERi/oh5P4REm8Pg3jak2GSXQxD4MFLC8CcNn3 U/nOeozgUziVMpT+giGKpFdWFnwCPcHzcGQluIkboehq43R8Vx1xzymiEfxtWG3GcZ 4p4DqxbkmdKF3/pWbDdyIVOY8Tia2i/hAcpQvlIO62X4nX3XbNXa59X2IqQWPeh8dA RW0mhA4Lbl4os6ZL4x3tZYCo7lsNUCrXMSic1AlbMtE9wVPY0PEUO1EZ2XlihZOBgT x7JMYAuaLikRnGliFvm+iwqgnmgdmqRgHyRBNWLJdf+yXTV840KyQNdA+q78WhyYq5 KbnLaRViPYvlA== From: Benjamin Date: Tue, 8 Aug 2023 15:22:58 +0200 Message-ID: <03c44a096cfcabc480411e8f6a7685dabbbc6ea1.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-dune-build-info): fix ocaml-dune-build-info to make it compatible with package-with-ocaml5.0 --- gnu/packages/ocaml.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8ff755aea9..552afc4784 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9657,6 +9657,7 @@ (define-public ocaml-dune-build-info (inherit dune) (name "ocaml-dune-build-info") (build-system dune-build-system) + (properties '()) (arguments '(#:package "dune-build-info" ;; No separate test suite from dune. From patchwork Tue Aug 8 13:22:59 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52657 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 F278727BBEA; Tue, 8 Aug 2023 14:24:36 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 53A6B27BBE9 for ; Tue, 8 Aug 2023 14:24:36 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMgz-0001dw-6H; Tue, 08 Aug 2023 09:24:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMgw-0001cf-My for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMgw-00009W-At for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002jd-8S; Tue, 08 Aug 2023 09:24:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 02/14] gnu: Add ocaml-pp. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:24:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104210485 (code B ref 64209); Tue, 08 Aug 2023 13:24:04 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:02 +0000 Received: from localhost ([127.0.0.1]:35583 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgr-0002iw-W2 for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:02 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:53634) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgo-0002hc-9i for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:23:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501031; bh=yaS4bzBtJHl/opg2zpK7swOOwULKHqkrDnEUwTkWom8=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=wXOMhwSKZkdN353SQrgi00DXLbX2iqKMruYAT/B6qhx+mtGfn8l94ggUPpRr1WHIc 4Cvdw6skmDk1xTq+wbEcwIu3+W0WOHjqHJFcY2sjaZSTIdbnEebiOZxj/NHvalYiOF 1Qg61hfK9Iw4pTIXm51x4zAEFY+giK1UgUvoMA2akWO6IBjF6spFOmD/pncrsa5ceK C+JCMAbAebhZiSgScQMcNoahiPhaC6HnJ5Sl9VST0USyiJLhU6qGFnvLSjS+h9Qxfa G2EBW/jFMTaFWpEqtCJXp0MrSP0zoXyZJhXfmIbIgi9w6bDlKv5fAUWQcUyi48c4zX nWUIG452HSt7g== From: Benjamin Date: Tue, 8 Aug 2023 15:22:59 +0200 Message-ID: <90cc05c03d34058c2650aaa5a7f83710f1164562.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-pp): New variable. --- gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 552afc4784..e664f33955 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2014,6 +2014,37 @@ (define-public ocaml5.0-csexp (propagated-inputs `(("ocaml-result" ,ocaml5.0-result))))) +(define-public ocaml-pp + (package + (name "ocaml-pp") + (version "1.1.2") + (home-page "https://github.com/ocaml-dune/pp") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0w7gxa85ffbd6jgs6ziarq69yi423f0qkpk05r3abh6lg8smw8pg")))) + (build-system dune-build-system) + (native-inputs (list ocaml-ppx-expect)) + (synopsis "Pretty-printing library") + (description + "This library provides a lean alternative to the Format [1] module of the OCaml +standard library. It aims to make it easy for users to do the right thing. If +you have tried Format before but find its API complicated and difficult to use, +then Pp might be a good choice for you. Pp uses the same concepts of boxes and +break hints, and the final rendering is done to formatter from the Format +module. However it defines its own algebra which some might find easier to work +with and reason about. No previous knowledge is required to start using this +library, however the various guides for the Format module such as this one [2] +should be applicable to Pp as well. [1]: +https://caml.inria.fr/pub/docs/manual-ocaml/libref/Format.html [2]: +http://caml.inria.fr/resources/doc/guides/format.en.html") + (license license:expat))) + (define-public ocaml-migrate-parsetree (package (name "ocaml-migrate-parsetree") From patchwork Tue Aug 8 13:23:00 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52656 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 D330D27BBE9; Tue, 8 Aug 2023 14:24:33 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6807627BBE2 for ; Tue, 8 Aug 2023 14:24:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMgy-0001dk-Td; Tue, 08 Aug 2023 09:24:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMgv-0001c9-Qu for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMgv-000096-IN for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMgs-0002jA-KW; Tue, 08 Aug 2023 09:24:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 03/14] gnu: Add ocamlformat-rpc-lib. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104010447 (code B ref 64209); Tue, 08 Aug 2023 13:24:02 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:00 +0000 Received: from localhost ([127.0.0.1]:35575 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgq-0002iQ-Kv for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:00 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:53644) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgn-0002hd-Md for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:23:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501031; bh=clFrFi5KbE5xfediS1kyhBDLDZieYIMc2bBFa0rI+9o=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=nSllH1GFCsmd70hTCBL+sdMVZ9GmbE4fduIhV2y3ZBwFihadmHloih9lFcdsv6PoU bhY7b4EgHQR7jrGZwI3lNLhenfNLrcrzzLL8TnD4oWeoDy8p8rkfnu88J2DWEOw3Ge +XFyAydSbCHe/iIKZgyto6GKM40cqfO1SDANsiMY85YRaCciCHmE2oAz2Zs2lPUte4 pPGFy0W5aHy0lMwAEAbc2AIkcj5idfcBL4Yza8X/8JbNemmkE9Bwegi9bJ91krAY8R M/yD8YQNwx0nPM39ydkoEVm+R5uVirOaFLrxBS9WbfZpDgXBFbbSGU442vJ8n/UNBO HtTSvppVL+gGw== From: Benjamin Date: Tue, 8 Aug 2023 15:23:00 +0200 Message-ID: <1e8578485ee4b894c8115510d2245f73efa75db3.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocamlformat-rpc-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 e664f33955..1da68ab162 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9777,6 +9777,19 @@ (define-public ocamlformat a uniform style.") (license license:expat))) +(define-public ocamlformat-rpc-lib + (package + (inherit ocamlformat) + (name "ocamlformat-rpc-lib") + (arguments + '(#:package "ocamlformat-rpc-lib" + #:tests? #f)) + (propagated-inputs (list ocaml-csexp ocaml-odoc)) + (synopsis "Auto-formatter for OCaml code in RPC mode") + (description + "OCamlFormat is a tool to automatically format OCaml code in a uniform style. +This package defines a RPC interface to OCamlFormat"))) + (define-public ocaml-bigstringaf (package (name "ocaml-bigstringaf") From patchwork Tue Aug 8 13:23:01 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52659 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 D77A227BBEA; Tue, 8 Aug 2023 14:24:43 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 54B7027BBE2 for ; Tue, 8 Aug 2023 14:24:43 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMgy-0001dE-23; Tue, 08 Aug 2023 09:24:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMgv-0001c4-Is for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMgv-00009F-AT for guix-patches@gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMgs-0002jG-W2; Tue, 08 Aug 2023 09:24:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 04/14] gnu: Add ocaml-ppx-yojson-conv-lib. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104110455 (code B ref 64209); Tue, 08 Aug 2023 13:24:02 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:01 +0000 Received: from localhost ([127.0.0.1]:35577 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgq-0002iS-S7 for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:01 -0400 Received: from mail.uvy.fr ([146.59.197.40]:56318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgn-0002he-MY for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:23:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501031; bh=DidJ2EvHRYA0YxeXyW83FUee10XdXYZ5RO0NEsmC8tA=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=ybu1+OFt0zBUv94TTzfrWKA4Uq3CGkDtJDAoDefu7DFMdoAofCqcUNmDDFgYupONQ jBQ01e24fSlfONJSLbuIutPWoQtb9e+2oaMDNvOAcMuTYEPMeoWAvlPccSLjuO9one kBPZXZrGjyVrheF3Rbe9UkGFV1S6vRRz8KpXbCUed4sr66Ydx2tuLYXZBtUTYPPfNz EOLeaTuK87CZQ2NjXvKym9B3nKIHWkRScu0TZLpe6w3cJv/hWUtDYNp1aNzpFks1SM irNvRHjIzEvsYX4r8sS+u3/ivODCDcTdgti9wzoyrk4PxwZymWX9MqVWQadSFlWI/i oduzXmCd8Qc3w== From: Benjamin Date: Tue, 8 Aug 2023 15:23:01 +0200 Message-ID: <4cb88f66628e496efdce1eaf1cfd3b08bff2a185.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ppx-yojson-conv-lib): New variable. --- gnu/packages/ocaml.scm | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1da68ab162..ec21a26d19 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6169,7 +6169,28 @@ (define-public ocaml-yojson yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) - + +(define-public ocaml-ppx-yojson-conv-lib + (package + (name "ocaml-ppx-yojson-conv-lib") + (version "0.15.0") + (home-page "https://github.com/janestreet/ppx_yojson_conv_lib") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (sha256 + (base32 + "0slc5cwy60vx8gskmn20hmndjncpp5zs80a9wm7hxv8yl003i60y")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-yojson)) + (properties `((upstream-name . "ppx_yojson_conv_lib"))) + (synopsis "Runtime lib for ppx_yojson_conv") + (description "This library is a part of the Jane Street's PPX rewriters collection.") + (license license:expat))) + (define-public ocaml-merlin-lib (package (name "ocaml-merlin-lib") From patchwork Tue Aug 8 13:23:02 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52660 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 BB15227BBEA; Tue, 8 Aug 2023 14:25:07 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 2AC7727BBE2 for ; Tue, 8 Aug 2023 14:25:07 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhs-00022P-L8; Tue, 08 Aug 2023 09:25:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhq-00021U-IA for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhq-0000O6-37 for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhp-0002nL-TN; Tue, 08 Aug 2023 09:25:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 05/14] gnu: Add ocaml-ordering. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104810608 (code B ref 64209); Tue, 08 Aug 2023 13:25:01 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:08 +0000 Received: from localhost ([127.0.0.1]:35610 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgy-0002l1-G1 for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:08 -0400 Received: from mail.uvy.fr ([146.59.197.40]:33112) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgt-0002hu-Ul for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501031; bh=hqlcZFw00sOSZqV8ZscDZq3jy260gGW9M7XKBWKXDd4=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=dvi/IkMXbiQ0tIhWF6Onqn/ZtCVvzqW4FBFZXM04WM1815kV3noaNgqbsKJuTkhhS T1kGs2Tmt4vJAjpfQC8UaXDF/4cQj5FOL0Aw/KvUUNeXXJe58QMODQj+rMCor3mFZl 6oC4C8Yk0pL/oOFKrExMZGOIrZvdxrqtLUhpziMll9UTvqt77D4yEabBoFVLzEjkJW Tiw1h2wDbM5sydL2yeK/jphikz+tm31KXjEBKqn/wTElmDlrz6Gw+EU9zlKOykzOgh llQXFzhbSlSvB1erF4KBAuCyfjIxA3emCDSpq0K59e0h9h/On+Rdg86bLRkD81o6pW Mf1AIWRZqB2Pw== From: Benjamin Date: Tue, 8 Aug 2023 15:23:02 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-ordering): New variable. --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ec21a26d19..45e34c7d66 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9723,6 +9723,25 @@ (define-public ocaml-dune-build-info reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocaml-ordering + (package + (inherit dune) + (name "ocaml-ordering") + (build-system dune-build-system) + (arguments + '(#:package "ordering" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-odoc)) + (properties '()) + (synopsis "Element ordering library") + (description "This library implement element ordering and a convenient +operator for efficiently chaining multiple comparisons together."))) + (define-public ocaml-either (package (name "ocaml-either") From patchwork Tue Aug 8 13:23:03 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52662 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 E010327BBE9; Tue, 8 Aug 2023 14:25:19 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6E7EC27BBE2 for ; Tue, 8 Aug 2023 14:25:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhs-00022N-GG; Tue, 08 Aug 2023 09:25:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhr-00021c-26 for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:03 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhq-0000OV-LH for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhq-0002nV-BU; Tue, 08 Aug 2023 09:25:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 06/14] gnu: Add ocaml-dyn. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104910616 (code B ref 64209); Tue, 08 Aug 2023 13:25:02 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:09 +0000 Received: from localhost ([127.0.0.1]:35612 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgy-0002l3-Qh for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:09 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:38160) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgt-0002hv-Vf for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501032; bh=HdwE0S1fOIC6w0K/L05Ox75zJ2DD2jGKs9UdGy+0Dsg=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=5IHsVCsrbsn1YxX7sy1aKrachos18mXi+s8HyWEkNCBgwPAVRrodPpB810CoAGTiR bunpvkyT2+YhfH3immucSbYgt2tAllcPGcZkh9QjTywDtshR6h0ogOBscOBcQuwIEh veIGBkVmYfEfc6EHLuX5fK0xvAQ6+VLwfag0xJ163pdOJPXin3uTZUEV0PCp0g58T8 4dOk1rcU7WnlVPcQkCQnNSa+Y8cXW6avp6Ipzsfh+UnAvGO9geWJMi6oiEjh7d+gRL yBQrQsilg2r7/fV7568Z4udnkqGrAcFJ5GfJz0e921Gc8i1KnCVOe4dEJqB6ckYXJq XMgNsES8YduRQ== From: Benjamin Date: Tue, 8 Aug 2023 15:23:03 +0200 Message-ID: <201c2384c8ca530ecd0b50c2ce16e373a05c91eb.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-dyn): New variable. --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 45e34c7d66..88a72a2220 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9723,6 +9723,25 @@ (define-public ocaml-dune-build-info reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocaml-dyn + (package + (inherit dune) + (name "ocaml-dyn") + (build-system dune-build-system) + (arguments + '(#:package "dyn" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-ordering ocaml-pp ocaml-odoc)) + (properties '()) + (synopsis "Dynamic type library") + (description "Representation of OCaml values such that they can be +processed without knowing their type"))) + (define-public ocaml-ordering (package (inherit dune) From patchwork Tue Aug 8 13:23:04 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52669 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 831DF27BBEB; Tue, 8 Aug 2023 14:25:57 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3E6BE27BBE2 for ; Tue, 8 Aug 2023 14:25:57 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhx-00025E-3g; Tue, 08 Aug 2023 09:25:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhs-00022Q-O8 for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhs-0000ZP-FE for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhq-0002nd-NQ; Tue, 08 Aug 2023 09:25:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 07/14] gnu: Add ocaml-stdune. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104910623 (code B ref 64209); Tue, 08 Aug 2023 13:25:02 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:09 +0000 Received: from localhost ([127.0.0.1]:35614 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgz-0002lB-4I for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:09 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:38174) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002i2-9t for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501032; bh=etALVEdTJdI++itbYnNOJV5nXZkzsHVdKdBGolf18vw=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=MbQWCy/5QdoNdb85Hcj5EKd6qs7JmOEUGBpAsambg6oCIeja4YVJ7MWvpkE0Mv5xi zhgb55nR0iBdtLstU9XvOR6sQykIennewsyiFwTj0PijuUScoo3RG/GGoMV5K9mogh wbMO9YGgDOgmjl2o/sJx8rq4hKB6ByaUxaN5ZFw/5WWyNfJm/EDsoUWI52QF8c/d0s WPZiqP75rfz/4Okprzy3H1iXgnXFniDQ26jCoB5KSDDaAcS3vKruEN38zb40C2+EaI GklEY9sph6RtaSI1zFU2MVZIUIUFfQqiVuYc0nFnV8BqN9DNtIa1FZuSMXO7GlqKJS gpixZ7VvOHaDA== From: Benjamin Date: Tue, 8 Aug 2023 15:23:04 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-stdune): New variable. --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 88a72a2220..fb7612ee1b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9742,6 +9742,27 @@ (define-public ocaml-dyn (description "Representation of OCaml values such that they can be processed without knowing their type"))) +(define-public ocaml-stdune + (package + (inherit dune) + (name "ocaml-stdune") + (build-system dune-build-system) + (arguments + '(#:package "stdune" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-dyn ocaml-ordering ocaml-pp ocaml-csexp + ocaml-odoc)) + (properties '()) + (synopsis "Dune's unstable standard library") + (description + "This library is dune standard library. It offers no backwards +compatibility guarantees. You should use it at your own risk."))) + (define-public ocaml-ordering (package (inherit dune) From patchwork Tue Aug 8 13:23:05 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52667 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 E118827BBE2; Tue, 8 Aug 2023 14:25:52 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id AEA0927BBEA for ; Tue, 8 Aug 2023 14:25:51 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhu-00022S-7V; Tue, 08 Aug 2023 09:25:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhr-00021r-NZ for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:03 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhr-0000XX-Dy for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhr-0002no-97; Tue, 08 Aug 2023 09:25:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 08/14] gnu: Add ocaml-chrome-trace. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150104910630 (code B ref 64209); Tue, 08 Aug 2023 13:25:03 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:09 +0000 Received: from localhost ([127.0.0.1]:35616 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgz-0002lI-DI for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:09 -0400 Received: from mail.uvy.fr ([146.59.197.40]:33124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002i3-AD for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501032; bh=BauY6G2AAjP1K1ggCk40No/NtRcM7XFKfk7XvoG00mw=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=0gOhOV6UrtCDhwk7u4ynZXuVT9m/P63FsW3RmXC4drKx4KloK++QGMTiptp/6vMzy jzdDm6BUcIlIz25+Ab6MYi3CTc8TQk2C61cVH7IfZ+eQPEERCq2BeUnd4RvNn3J+Cx wMgTiVqz95bxInp3fVvadSAVCi7Uj/VVWZWICcMs303b7CWwyUpRuKxnpo++WIC2g2 SBcMXYm2ixw0mz6GlXgeiljZypanCC5fcWaSJtpNz3d5ayhRHYMLmZVprkaZhh3vvA rsLqYD5Wn0TZ0KHMN9pxSQzdpXQoKfEhKP2WLvU7oI6Q16tx/F4aw4j62aefVBYnUe nXHPdfGexZN9g== From: Benjamin Date: Tue, 8 Aug 2023 15:23:05 +0200 Message-ID: <1b9cce8818b09259d25536d083d4566866e25296.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-chrome-trace): New variable. --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index fb7612ee1b..e037009ae8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9723,6 +9723,29 @@ (define-public ocaml-dune-build-info reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocaml-chrome-trace + (package + (inherit dune) + (name "ocaml-chrome-trace") + (build-system dune-build-system) + (arguments + '(#:package "chrome-trace" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-odoc)) + (properties '()) + (synopsis "Chrome trace event generation library") + (description + "Output trace data to a file in Chrome's trace_event format. This format is + compatible with chrome trace viewer [chrome://tracing]. + This library offers no backwards compatibility guarantees. Use at your own +risk.") + (license license:expat))) + (define-public ocaml-dyn (package (inherit dune) From patchwork Tue Aug 8 13:23:06 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52664 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 5F29227BBE9; Tue, 8 Aug 2023 14:25:38 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 32E9D27BBE2 for ; Tue, 8 Aug 2023 14:25:37 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhw-00024i-OK; Tue, 08 Aug 2023 09:25:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhs-000227-4P for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhr-0000ZC-RU for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhr-0002ny-Mw; Tue, 08 Aug 2023 09:25:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 09/14] gnu: Add ocaml-xdg. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105010638 (code B ref 64209); Tue, 08 Aug 2023 13:25:03 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:10 +0000 Received: from localhost ([127.0.0.1]:35618 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgz-0002lP-PW for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:10 -0400 Received: from mail.uvy.fr ([146.59.197.40]:33138) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002iE-JA for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501033; bh=8pqVC/TndGEZ8vYpbKMdJBmYGP30LOGI/ISfIBNoiUY=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=mZKmX2rEso9JYFN36lVmgC9gFtfHBwybJJM9r+BYGJgdppCP9ZTwACtanDk5F8jko ibl/y5lQ0Yz9o5TmQjH+IDpqu/OFFZUx23jywmYEwfx8hYLeIu6oUr5wUX1r3GWQ62 zDum25ybJZdWF2wV9Uyi1j564zCZ89ybC9ZKEcW+TrPlQ/G4kULb6zusoE/S3h5Kyc osjrZelNYVjUOQYVI94MCTbN1j4QGk2bJVk1IUbBt0e4zGxDYiCrdavLTGNwH4FBue PmFcMjs+ag38XJgkM9JzQEwjlFfmGpkQXyU3uh0LO2ejQQImjQ9bvvNBRaFWM3I+ue K8uyOgbOpHkUw== From: Benjamin Date: Tue, 8 Aug 2023 15:23:06 +0200 Message-ID: <765ad52e637eecd1009213d9126d7122ba453ce5.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-xdg): New variable. --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e037009ae8..3d36c9ec7d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9786,6 +9786,25 @@ (define-public ocaml-stdune "This library is dune standard library. It offers no backwards compatibility guarantees. You should use it at your own risk."))) +(define-public ocaml-xdg + (package + (inherit dune) + (name "ocaml-xdg") + (build-system dune-build-system) + (arguments + '(#:package "xdg" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-odoc)) + (properties '()) + (synopsis "XDG Base Directory Specification") + (description + "https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html"))) + (define-public ocaml-ordering (package (inherit dune) From patchwork Tue Aug 8 13:23:07 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52663 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 4F2A227BBEA; Tue, 8 Aug 2023 14:25:32 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 59B2B27BBE2 for ; Tue, 8 Aug 2023 14:25:31 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhw-000253-R7; Tue, 08 Aug 2023 09:25:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhu-00022e-1p for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMht-0000Zv-Mv for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhs-0002o8-5l; Tue, 08 Aug 2023 09:25:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 10/14] gnu: Add ocamlc-loc. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105010645 (code B ref 64209); Tue, 08 Aug 2023 13:25:04 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:10 +0000 Received: from localhost ([127.0.0.1]:35620 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMh0-0002lX-3r for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:10 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:38182) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002iF-JY for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501033; bh=24Say2rGd9u+1LxVsj9Y6E8vmHU4gRuAYmPRpBMIwuA=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=BB6f33U/D4R046lGMm7us422EXhSOr8beIS8xFfitv/zsEdRdAqXhx04U9ypWi38Q Yah5gzMRRXkxG1cvcRXRLhfSmyStgr16VzfHEuGiwoSOWUdemHen7y+YrUcWgmFjYu FXt3tubRvhR1MdBlyzwLV5YI1KWrjuSfrnxbvRKjP6mom8OWhjV6tH8/VWAP46FZbM EA3zI43Ca4BY1bSZIvDyK0MQuZVDJoFzRtavsT+8Y504Ti/43Cwkgg8rSda5+xUPpD MmHuPyyz7Rhiidj4wJqvUvgUoSaiK/I09XjvPKJKU7wjL9L9C5yG/gJ8AU17LqqezD i8SJoeFrcMlDw== From: Benjamin Date: Tue, 8 Aug 2023 15:23:07 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocamlc-loc): New variable. --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3d36c9ec7d..c0cb55ac32 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9824,6 +9824,26 @@ (define-public ocaml-ordering (description "This library implement element ordering and a convenient operator for efficiently chaining multiple comparisons together."))) +(define-public ocamlc-loc + (package + (inherit dune) + (name "ocamlc-loc") + (build-system dune-build-system) + (arguments + '(#:package "ocamlc-loc" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-dyn ocaml-odoc)) + (properties '()) + (synopsis "Parse ocaml compiler output into structured form") + (description + "This library offers no backwards compatibility guarantees. Use at your own +risk."))) + (define-public ocaml-either (package (name "ocaml-either") From patchwork Tue Aug 8 13:23:08 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52668 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 0B55727BBEA; Tue, 8 Aug 2023 14:25:57 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6717227BBE2 for ; Tue, 8 Aug 2023 14:25:56 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhy-000261-BW; Tue, 08 Aug 2023 09:25:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMht-00022T-4A for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhs-0000Za-RJ for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMhs-0002oJ-N7; Tue, 08 Aug 2023 09:25:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 11/14] gnu: Add ocaml-fiber. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105010652 (code B ref 64209); Tue, 08 Aug 2023 13:25:04 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:10 +0000 Received: from localhost ([127.0.0.1]:35622 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMh0-0002le-EB for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:10 -0400 Received: from mail.uvy.fr ([146.59.197.40]:33142) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002iL-Lo for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501033; bh=AjyXw9mfRX8Ljc3ZL18x0tvDQrZW0ct2pBXcuC8Fhzs=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=ul3h7hOcVsjH+Uc/VCt5hepKwtZhx9HP31m5kHhGCG3iZFDZJKCzlgmVj8qFiB8zS m59F6l7dPdtVMHHb4/ITARjT5WffenEDWEG+EAnqx54/wuWC4l49RtM0seVgeWk2ne 2CZNY2JlSXdtPgh4vupFmzTRiUVfzvg0SSve/nroIcbx6IGWb0D1DXekJLeQtMgWKQ wE0d55gw7+Ra8t6OGu0UVzyvDX40tCYy9PBn5wLx+nOlP06Xs/oQ8dkCQFBT6ZUGLs iInO2L1h9mOfH9QKjCDkHrydBE3rWxDL7ZzZkGVvMjiQnDVg7rdSn6v9GnGlkwHRRn VBgp3pDCyLBzg== From: Benjamin Date: Tue, 8 Aug 2023 15:23:08 +0200 Message-ID: <0ea26472bc15c7a50838ef86dd4e1e1431bf4b41.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-fiber): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c0cb55ac32..1958e19028 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9786,6 +9786,28 @@ (define-public ocaml-stdune "This library is dune standard library. It offers no backwards compatibility guarantees. You should use it at your own risk."))) +(define-public ocaml-fiber + (package + (inherit dune) + (name "ocaml-fiber") + (build-system dune-build-system) + (arguments + '(#:package "fiber" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-stdune ocaml-dyn ocaml-odoc)) + (properties '()) + (synopsis "Structured concurrency library") + (description + "This library implements structured concurrency : + https://en.wikipedia.org/wiki/Structured_concurrency + It offers no backwards compatibility guarantees. Use at your own +risk."))) + (define-public ocaml-xdg (package (inherit dune) From patchwork Tue Aug 8 13:23:09 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52665 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 D3E6027BBEA; Tue, 8 Aug 2023 14:25:46 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 59C1227BBE2 for ; Tue, 8 Aug 2023 14:25:46 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhy-00026L-LM; Tue, 08 Aug 2023 09:25:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhw-00024c-DA for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:08 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhv-0000aS-CA for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMht-0002ob-G2; Tue, 08 Aug 2023 09:25:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 12/14] gnu: Add ocaml-dune-rpc. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105110667 (code B ref 64209); Tue, 08 Aug 2023 13:25:05 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:11 +0000 Received: from localhost ([127.0.0.1]:35626 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMh1-0002ls-3k for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:11 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:38188) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgv-0002iM-MZ for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501033; bh=20P3k3oB9rcxclBP82wokQoxwJpzw6JliyojrPtnU3g=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=v2TOicBW9TVtMmWjjGAGm0tJibTwD1mMytqf8RzNYC2F+BRWrJAhuGecOvChMkWxr HCcZO2tj093EtU2OneIdBo/nD++cSp88K0Mh5Y43OzmS6dTzRNA9uq42rQ9MYgcNnQ EltH9asHlGPWvnqmRoj/3ZZZNf9ftJ38Ue9rGhNqyunhMBV/HsO/7/ngjXRNyFZ/V5 gOC9oGJjZrx5w9tUgeHn7ObrjQvgRIFvdMp4oZXjqcaabOIBf70+2WV1AL6lEiU3CH UD1+LYzjSHnEK1qVPxUMB7TUKtSpjm5Zyz0EbPeLm82dJEDoDzxuIvBRFCQbiNiI+D jfL1I66UTcp9A== From: Benjamin Date: Tue, 8 Aug 2023 15:23:09 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-dune-rpc): 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 1958e19028..50cd80e761 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9723,6 +9723,30 @@ (define-public ocaml-dune-build-info reporting the version from the version control system during development to get an precise reference of when the executable was built."))) +(define-public ocaml-dune-rpc + (package + (inherit dune) + (name "ocaml-dune-rpc") + (build-system dune-build-system) + (arguments + '(#:package "dune-rpc" + #:tests? #f + #:phases (modify-phases %standard-phases + (add-before 'build 'remove-vendor + (lambda _ + (delete-file-recursively "vendor/csexp") + (delete-file-recursively "vendor/pp")))))) + (propagated-inputs (list ocaml-csexp + ocaml-ordering + ocaml-dyn + ocaml-xdg + ocaml-stdune + ocaml-pp + ocaml-odoc)) + (properties '()) + (synopsis "Communicate with dune using rpc") + (description "Library to connect and control a running dune instance"))) + (define-public ocaml-chrome-trace (package (inherit dune) From patchwork Tue Aug 8 13:23:10 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52661 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 1707927BBE9; Tue, 8 Aug 2023 14:25:18 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 54C2527BBE2 for ; Tue, 8 Aug 2023 14:25:16 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhz-000273-4B; Tue, 08 Aug 2023 09:25:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMht-00022d-RE for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMht-0000Zk-8p for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMht-0002oS-3U; Tue, 08 Aug 2023 09:25:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 13/14] gnu: Add ocaml-merlin-lib-4.9. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105110660 (code B ref 64209); Tue, 08 Aug 2023 13:25:05 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:11 +0000 Received: from localhost ([127.0.0.1]:35624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMh0-0002ln-QE for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:11 -0400 Received: from mail.uvy.fr ([146.59.197.40]:33158) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002iN-Od for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501034; bh=JjBnFFo8a1A7s9q+a9zcFp1gc9m4uYgV3K2qB3L9u8E=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=tu3cW/Gl4bVZsZ9LGsfBf75/dWvPI2GsXFvbHtb+snj8SSCi9xtsZ6zFAF4zB3WJL mO24urRu3UqhdHOcnu1kuTBneEVxehV+mRZ/7qByj1N2uNO4i2MFRbNAHOwltNt0if OxGyYAVjF1N6nw/c6QGrddXkMitaA3u82h/vqiyvf0mNCDwqB+cPQh8H1AGykCrU6F gbjdsSQj9G1TdJjweS6Nv4p8KPeWv4/1o2UZrlXfu7haXa0M5oMebKuA0JHnwEZchf Q+E9VvrEXts/nkesKkK70dxG2aRobhNeU3dixuLGieeyL6I0dV9GXmHRrjcQZOBV+K Y0N1rsW2nUUWg== From: Benjamin Date: Tue, 8 Aug 2023 15:23:10 +0200 Message-ID: <23ff61518f9d452aec0effe900532dd33f393cd7.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-merlin-lib-4.9): New variable. --- gnu/packages/ocaml.scm | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 50cd80e761..b57c61ff8c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6237,6 +6237,23 @@ (define ocaml-merlin-lib-500 (define-public ocaml5.0-merlin-lib (package-with-ocaml5.0 ocaml-merlin-lib-500)) +(define-public ocaml-merlin-lib-4.9 + (package + (inherit ocaml-merlin-lib) + (name "ocaml-merlin-lib") + (version "4.9-500") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/merlin") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "186rb6cj9a18jhss3pablp48s7pl5xbmx8ih1dxbfh2wa3hvsdsb")))) + (properties '()))) + (define-public ocaml-dot-merlin-reader (package (inherit ocaml-merlin-lib) From patchwork Tue Aug 8 13:23:11 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 52666 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 EB8BC27BBE2; Tue, 8 Aug 2023 14:25:51 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 503CE27BBE9 for ; Tue, 8 Aug 2023 14:25:51 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qTMhx-00025C-16; Tue, 08 Aug 2023 09:25:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qTMhu-00022z-Ce for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:07 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qTMhu-0000a3-25 for guix-patches@gnu.org; Tue, 08 Aug 2023 09:25:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qTMht-0002om-T2; Tue, 08 Aug 2023 09:25:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v2 14/14] gnu: Add ocaml-lsp-server. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 08 Aug 2023 13:25:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169150105110673 (code B ref 64209); Tue, 08 Aug 2023 13:25:05 +0000 Received: (at 64209) by debbugs.gnu.org; 8 Aug 2023 13:24:11 +0000 Received: from localhost ([127.0.0.1]:35628 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMh1-0002m0-EZ for submit@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:11 -0400 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:38190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qTMgu-0002iO-Q2 for 64209@debbugs.gnu.org; Tue, 08 Aug 2023 09:24:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1691501034; bh=cBpVVbU9KmSnuaNBGq1XizfehlorFH1tnjME/R+WDek=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=kUs3BhWmUyS/QHg3K9bAtYBbv//E7d/5ZCtS/Y0QkNUqZjxjBvVynBR1r5LJCh5AX cj4hJf2UdKbl3z+CfIZyMpWApkzhiXmxg+s7kOCvlvbsqR/iY7yPE7oOqJPrRHdBkr dXghM/SP84S0CPE9hhfl1Edd6LZMCGU7pXudd3w/75KZeK1a55PAWHrT/TO0TiJlJr M5ThKXkgfO5VxdjUnRX8s8yGfbP4kkpu4VhDnpCT2PXn9wnumJJd6R/ceSOnX3lLZO CczWfcu+lZHw7chKrm7ejVyhfpRpQptVprwf39KnrhHxjxgVQ7OEmAWPD8OmeKpeqR GlqW5rFXgNFuA== From: Benjamin Date: Tue, 8 Aug 2023 15:23:11 +0200 Message-ID: <321ec1fd18676878a8c81b4e65942c800f2d9033.1691500834.git.benjamin@uvy.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-lsp-server): New variable. --- gnu/packages/ocaml.scm | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b57c61ff8c..ee87e84c0b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6330,6 +6330,49 @@ (define-public ocaml5.0-merlin Atom.") (license license:expat)))) +;this package is not public because 1.16.1 only support ocaml 5.0 and 5.1 +(define ocaml-lsp-server + (package + (name "ocaml-lsp-server") + (version "1.16.2") + (home-page "https://github.com/ocaml/ocaml-lsp") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (sha256 + (base32 + "1nd1655allyml2qpr6asxv3d2pdq5clw7vx7zx9bfiawyi2szsn8")))) + (build-system dune-build-system) + (arguments '(#:tests? #f)) ; tests are failing for v1.16.1 + (propagated-inputs (list ocaml-merlin-lib-4.9 + ocamlformat-rpc-lib + ocaml-pp + ocamlc-loc + ocaml-spawn + ocaml-ordering + ocaml-fiber + ocaml-dyn + ocaml-dune-rpc + ocaml-re + ocaml-csexp + ocaml-uutf + ocaml-odoc-parser + ocaml-dune-build-info + ocaml-xdg + ocaml-stdune + ocaml-chrome-trace + ocaml-ppx-yojson-conv-lib + ocaml-yojson)) + (native-inputs (list ocaml-ppx-expect ocamlformat ocaml-odoc)) + (properties `((upstream-name . "ocaml-lsp-server"))) + (synopsis "LSP Server for OCaml") + (description "This package implements an Ocaml language server implementation.") + (license license:isc))) + +(define-public ocaml5.0-lsp-server (package-with-ocaml5.0 ocaml-lsp-server)) + (define-public ocaml-gsl (package (name "ocaml-gsl")