From patchwork Fri Nov 10 15:46:13 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56215 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 75F0227BBEA; Fri, 10 Nov 2023 15:49:05 +0000 (GMT) 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 7EBFB27BBEB for ; Fri, 10 Nov 2023 15:48:53 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkB-0003lZ-OK; Fri, 10 Nov 2023 10:48:27 -0500 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 1r1Tk9-0003kF-79 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:25 -0500 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 1r1Tk8-0006wZ-VB for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:24 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkk-0007oc-EJ; Fri, 10 Nov 2023 10:49:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963129929625 (code B ref 64209); Fri, 10 Nov 2023 15:49:02 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:19 +0000 Received: from localhost ([127.0.0.1]:50626 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk3-0007hk-Dr for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:19 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:41472) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk1-0007gx-8s for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:17 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631252; bh=cBoKdl1cxtPHlr43TdvrM+LoQ371VO4qMKTBYP5zsZw=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=e8ciCU/x/ABr3M94ZAuR7TttJJIUVuIaHYyl25z20Mxjtgx6EPCGBlitoUxzYNI4Z 0tmXoDGuboCPiqJs29iSAKICt+o1pJzNfG3qFZNJ32yz63zH7Rc8pGk4cx+VPDYCYm NH42pvRG16iY8ElS35gZEc5GuB0YpqeYBmVs/8pMk6Ij9cVKSYXegs8gPWxnfDu2sg 1/wLuwbMP/7pm7sfS9XUpIWyyG06vZR8u3RjWLousx1fcUKFAjL2b4RyOJWNVTB94Q j9Dy7To5qPNEnYuHjPFeEKkBQt08SHiYDddLV4VepmMhKlTz34VxORbX9cnKBwHyQn 9scoD7aV70OCw== From: Benjamin Date: Fri, 10 Nov 2023 16:46:13 +0100 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-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 7993dbaa73..2fd2f8e9f9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9627,6 +9627,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 Fri Nov 10 15:46:14 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56214 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 4C45127BBEE; Fri, 10 Nov 2023 15:49:05 +0000 (GMT) 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 3D82827BBEA for ; Fri, 10 Nov 2023 15:48:53 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkD-0003mS-7h; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkA-0003ke-J3 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1TkA-0006xF-AS for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkl-0007os-Fm; Fri, 10 Nov 2023 10:49:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963130329667 (code B ref 64209); Fri, 10 Nov 2023 15:49:03 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:23 +0000 Received: from localhost ([127.0.0.1]:50631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk7-0007iQ-7K for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:23 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:41478) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk5-0007hF-Ls for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:22 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631256; bh=5+9DiGME5jrTbcG5W1NiA7TLk/ZxpboiFN2gfY0jbf4=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=4i+gvpNUTDkbC64zh8Yz1qkjCWak2F7afoXVqEj8tpZP0OR+lfP0qVcnBXXui7qGJ 4RLexZCIYcIBo3lMBekSqU3fJLdtfPZziCcnt6QWLwPpNuCLo9roliY+lQS7fqi9dK YsRM2+DCzBPMt4X7qjPEVsjOCMDcgRrOZEAana5gcaX/rndNAXCVVvkAIQbE4m2/lE lxBUEdFo4xnDLBSmXl/5GWvL6AL59DBlGMlSYed7W7RTpdWeOv/zdhOVEHrWkCuuTZ oK+l+i3QWt05V2fwUql2g794vg0t0WMXmMtb08KGbBYMfT6rPQE1z5xafWueIcKnaS b8Da6Es/iLTWw== From: Benjamin Date: Fri, 10 Nov 2023 16:46:14 +0100 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-pp): New variable. Change-Id: Ic1782f531515802facb7fbcaea35405feffe2dc3 --- gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2fd2f8e9f9..497588c4ea 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1980,6 +1980,33 @@ (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 for ocaml that aims to be easy to use") + (description + "This library provides a lean alternative to the Format 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.") + (license license:expat))) + (define-public ocaml-migrate-parsetree (package (name "ocaml-migrate-parsetree") From patchwork Fri Nov 10 15:46:15 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56222 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 3A4F127BBE2; Fri, 10 Nov 2023 15:49:26 +0000 (GMT) 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 BE64D27BBE2 for ; Fri, 10 Nov 2023 15:49:25 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkC-0003mA-7H; Fri, 10 Nov 2023 10:48:28 -0500 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 1r1TkA-0003kd-IY for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1TkA-0006xE-AA for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkl-0007p0-Sq; Fri, 10 Nov 2023 10:49:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963130929714 (code B ref 64209); Fri, 10 Nov 2023 15:49:03 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:29 +0000 Received: from localhost ([127.0.0.1]:50634 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkC-0007j8-K6 for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:28 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:57720) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkB-0007iD-25 for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:27 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631261; bh=DL19RBpEfmzwEQUe2at6M4xLpQHHKMV73SRK6qgn3Nw=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=no4xwpEC+zU7uQ9HtC1bQvaC7sAOT+3gEb8Bfnr1xmpgntRaho8S8uzVr5rAg9WI+ 9soNSoy4bZFK8emyC98xooNkNWio+G75jPcfyOwbjKsGg8zw8qDpXD/N8IEifFUJ4s fJ0C7skNoSjtURMLZ46Ybw7io1AhNbVid8r6y8WtZQCZpRBqKo53DfrKWA9Eqtphy+ /qPUYv2ew2FG1HTq1/lcfouEpn+0egV+/lAZf2TOHMwbDJnNFAIXd0H+Gp0MZ+Opym ydgCyKcrU3mwVXTR+dBKGbQO0v4bnE7nkCIlRIb6kTkRmz+LRrI4U70i/xrHz4yN5b exe+FCwpxhWkg== From: Benjamin Date: Fri, 10 Nov 2023 16:46:15 +0100 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 (ocamlformat-rpc-lib): New variable. Change-Id: I960fb7bb4647c1ec1def870d5ec5afe6411347cf --- gnu/packages/ocaml.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 497588c4ea..3aeec614ca 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9743,6 +9743,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 Fri Nov 10 15:46:16 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56223 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 9817927BBE9; Fri, 10 Nov 2023 15:49:28 +0000 (GMT) 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 301D727BBE2 for ; Fri, 10 Nov 2023 15:49:28 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkD-0003me-DT; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1Tk9-0003kE-7E for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:25 -0500 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 1r1Tk8-0006wX-VH for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:24 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkm-0007pA-9g; Fri, 10 Nov 2023 10:49:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963131229748 (code B ref 64209); Fri, 10 Nov 2023 15:49:04 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:32 +0000 Received: from localhost ([127.0.0.1]:50637 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkG-0007jh-0E for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:32 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:57726) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkE-0007ih-Ba for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:30 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631265; bh=BviDhIlExfr83xmaGuafywDkzF2mCEQe10PcaOGqYoE=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=orWpgoZ/5rXZBnVbQHz4H0/w9aoTySxikmLE6tkrgxKk6lSKYubpmg+hSsDZZ/crw v6IujE3LpA84NrZgxlst1JeOmVf1S2XZ0UU7etLnS3HlvIvr2N8y/YTm5yyOg40O/3 +tkRWwlCsJq1yko0MfUosHdQdmISAh26BeABE4vwbyBlp2ZkLIT/Gz2F5W1VzZhi8Y T6Ae039oivwsHAlcwLhYa+kRa7Vz7Q7RjFuSBubaO2sf5zs18DNmknGBkXZMtyiTWI zbeK7ps0TgaX8j1NuStbAqw1E5HP1Bt6/MGKjWmYY5lHcQetyrf6F8jePk756qJmxo 2PfBYh2qvs+jg== From: Benjamin Date: Fri, 10 Nov 2023 16:46:16 +0100 Message-ID: <347a36477eb86e13a2a6158641c75b4de6e29486.1699630991.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. Change-Id: Iff772e4492ec80071ba99ba473164da9440a1f63 --- gnu/packages/ocaml.scm | 25 ++++++++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3aeec614ca..6cf88e08c0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6135,7 +6135,30 @@ (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 library used by ocaml PPX yojson convertor") + (description "Ppx_yojson_conv_lib is the runtime library used by +ppx_yojson_conv, a ppx rewriter that can be used to convert ocaml types +to a Yojson.Safe value.") + (license license:expat))) + (define-public ocaml-merlin-lib (package (name "ocaml-merlin-lib") From patchwork Fri Nov 10 15:46:17 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56219 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 0F1C627BBE2; Fri, 10 Nov 2023 15:49:16 +0000 (GMT) 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 9A3AA27BBEB for ; Fri, 10 Nov 2023 15:49:09 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkD-0003mi-Jj; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkA-0003kg-JS for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1TkA-0006xH-BT for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkm-0007pS-Ms; Fri, 10 Nov 2023 10:49:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963131729797 (code B ref 64209); Fri, 10 Nov 2023 15:49:04 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:37 +0000 Received: from localhost ([127.0.0.1]:50641 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkL-0007kQ-Ay for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:37 -0500 Received: from mail.uvy.fr ([146.59.197.40]:60806) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkI-0007jB-BZ for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:36 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631268; bh=MHbQfevqXNd+DZ2nFf8fNhIGQDNoLoT6d3Lu25tDHVU=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=G03jMXhxr7OTyI/Zp1rLUynRhacy3MObN4RiyjJku3iUNpL3OABDgeCWwnRf/zpfG 9Ef9PrNVFP5PDMbCiACdSB4pRkI+Z2i5BtArzmR3EBjOCB519isdYgGyeSXF/93Tgt IQb6yJLiUeu1Qx546HJKTMrquVku7pYfQAh1n/sDJsVcCGGQR+swn2lqW7sqIM1cZa U3Dqr1M+F9FYmuBiQsQ584WsnYxkxMszZxC8sa88bl0abyBh+lm9kLPI9gtrP58bO3 N+mwoQU/jbHdLu8zBqPEuzjWhH7KxHafywGD5F/tpJharLlRgRLNFB96kR7Pf8QrHM JkbaLc7yOGh/A== From: Benjamin Date: Fri, 10 Nov 2023 16:46:17 +0100 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. Change-Id: I358f4759e050c2d2d24f611a70149bf38e2f1c59 --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6cf88e08c0..1b4bd8685e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9691,6 +9691,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 "Ocaml 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 Fri Nov 10 15:46:18 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56221 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 3C09427BBEA; Fri, 10 Nov 2023 15:49:19 +0000 (GMT) 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 AB4E827BBE2 for ; Fri, 10 Nov 2023 15:49:18 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkC-0003li-11; Fri, 10 Nov 2023 10:48:28 -0500 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 1r1Tk9-0003kH-NP for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:25 -0500 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 1r1Tk9-0006wv-FP for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:25 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkn-0007pe-6T; Fri, 10 Nov 2023 10:49:05 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963132029824 (code B ref 64209); Fri, 10 Nov 2023 15:49:05 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:40 +0000 Received: from localhost ([127.0.0.1]:50644 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkN-0007ku-N9 for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:39 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:51356) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkL-0007jg-0Y for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:37 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631271; bh=oh00dZXgVHY61lEPFwxcPVg3793lLj0NYW6pgDrvdxg=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=DfqklZ0Er3fL2IycGed4GIOIu6ju+cy/UinOUwM6juAsP7Buyn+OcNp939ObCmf8n B6wPzasDuvVZyiuLl8XYsAZsIXmN/iQU20/rxGKrCKagRx5HLRJshZctVK7fOngfCu CiYCC6RxeH+/3fQa57r6ZYS/IrZ5um7vYWHWt4UQKQt4uEEIoIEIeYmcZ0hF7IP6jp 3PdX4siaAozLN7SVhtw4zRJ2KiZDugTaGENzn5Iz7ot6HwNA/qjYETHRKIgCJuRyZO C7+FDAUOIhYYfonBGi0ahk83u8ESuDa4ViKVtDjpQGWrKGg79HJk8MTdmPmbRPdkwz ua11tesKznf0A== From: Benjamin Date: Fri, 10 Nov 2023 16:46:18 +0100 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-dyn): New variable. Change-Id: I4f35a5e3e9271f70cfd88845964d24257d1d0ddf --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1b4bd8685e..0cafb8c6ee 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9691,6 +9691,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 "Ocaml 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 Fri Nov 10 15:46:19 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56216 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 D334E27BBE9; Fri, 10 Nov 2023 15:49:09 +0000 (GMT) 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 C93E727BBE2 for ; Fri, 10 Nov 2023 15:49:03 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkF-0003nz-2Y; Fri, 10 Nov 2023 10:48:31 -0500 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 1r1TkA-0003kf-J4 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1TkA-0006xG-B2 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tko-0007q7-2W; Fri, 10 Nov 2023 10:49:06 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:06 +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.169963132929898 (code B ref 64209); Fri, 10 Nov 2023 15:49:06 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:49 +0000 Received: from localhost ([127.0.0.1]:50650 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkW-0007m3-KC for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:48 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:51360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkO-0007kA-H0 for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631275; bh=85fFDj9RyltN04wlSqIU915clnv0fZCzjUUZf2D7Ekg=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=IpPGyKEn424ZuQR8hTjXMFsJEhoFRLrBwnZz1Xx8p1oBAZ1fpS9/tl9Zs4mJXz92k wnX2IOQJtkc0jUmNPJGvfuOdqlSeGxKSODN4HLajlHMFvDGVHD8QoRhl1nyV9vJ3XI JiBRrrN/iVweTEXMz6PvCCw7+HzK7vwYXY54fh6Nn3IVO2Nh0U/itn/P9samtspGv2 HtKT9CDhcVX+7rdbZxJmvmDPnayFtBHvwl/aM5h5YauDnivih5RVHSlRvOyfNdUuz+ bw5AIE+3JAjLCbLKm2ObVsis1jJgKOck9zNSsDTthkE319SfP3h7v2nT/n1WTdG0Lj b+kGYcYfoisog== From: Benjamin Date: Fri, 10 Nov 2023 16:46:19 +0100 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. Change-Id: Iac602da6a41ed99264c9a20fac989d43e2e9ed0d --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0cafb8c6ee..a97ae57b56 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9710,6 +9710,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 "Ocaml Dune's unstable standard library") + (description + "This library is dune standard library. It offers no backwards +compatibility guarantees."))) + (define-public ocaml-ordering (package (inherit dune) From patchwork Fri Nov 10 15:46:20 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56227 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 7F89527BBE2; Fri, 10 Nov 2023 15:49:41 +0000 (GMT) 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 3FF1327BBE9 for ; Fri, 10 Nov 2023 15:49:40 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkG-0003oO-4p; Fri, 10 Nov 2023 10:48:32 -0500 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 1r1TkA-0003ka-4o for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1Tk9-0006x1-Su for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:25 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkn-0007pv-Ky; Fri, 10 Nov 2023 10:49:05 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49: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.169963132829890 (code B ref 64209); Fri, 10 Nov 2023 15:49:05 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:48 +0000 Received: from localhost ([127.0.0.1]:50646 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkO-0007kz-0s for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:48 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:51356) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkM-0007jg-LV for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:39 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631278; bh=20jOtVAZq34lMevQ8L8imLAjMWb3x2RnO0hVYBgpirQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=xjvR1quJivaK9ayjas5OPuk2kB9K54T8X0WO3xqMzCOahVEIj/ZNSClWXMfWgBLEk VKOV7dk/3/7a6B3z6D2YSHnqhEYQN/MEXSvsVwjn+1Pe32nKp1BwB/OTPJyuwuXgL4 oovp7ZREJQYplWUGaQznbB15kvza+zGDUGB2gLrXaMpSrUnacvbN29txvSar80rgZH ijCk18j09pCi7pwkaesZGo2b5e1DsH5crbnidcuwk2lvqK4YpHGUUp/imvbqIReqo8 U4wgbEuhoasqGStmwVNr5w3Tl508BCCGXQTx+XnTLA6jbcuf3z9fbN27PI1H7Av23P V73cbCuX4HmUQ== From: Benjamin Date: Fri, 10 Nov 2023 16:46:20 +0100 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-chrome-trace): New variable. Change-Id: I3c761ff694a0be32171df0fa3f57c6930b9c5438 --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a97ae57b56..76cc995753 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9691,6 +9691,28 @@ (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 for ocaml") + (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.") + (license license:expat))) + (define-public ocaml-dyn (package (inherit dune) From patchwork Fri Nov 10 15:46:21 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56218 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 C5D3B27BBE9; Fri, 10 Nov 2023 15:49:15 +0000 (GMT) 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 66AB827BBE2 for ; Fri, 10 Nov 2023 15:49:12 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkF-0003o1-9t; Fri, 10 Nov 2023 10:48:31 -0500 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 1r1TkD-0003mP-2o for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkC-0006xt-3k for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:28 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tko-0007qL-FC; Fri, 10 Nov 2023 10:49:06 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:06 +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.169963133029913 (code B ref 64209); Fri, 10 Nov 2023 15:49:06 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:50 +0000 Received: from localhost ([127.0.0.1]:50652 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkX-0007mN-Ts for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:50 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:32932) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkV-0007lQ-Ru for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:48 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631282; bh=B3IT/xWhs0iqO7ukE/cJ4BRFfZBUOf6DzRtWGnBlpag=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=UTMKt/wbUQUd2LzBwP2IXmLM0R46XxW5wykfExEVfIj0cd3U0MXS/fy4Aq4KfRITY +rBOCtvdu7HMWkGtTtdP6ZDyBSwFCSVSGkz6Uga0k1s83AIiT1MUSJx6H/g0SYX2g8 4ykCLkIHAOYinhs+Uzvj/ZiuSJUe5CTTfesf+4WLTcp8JI0jXFvSvAcbt91aB/oPJh V9AzwjxTRhekWyqXGt4T8tsncZsKZ6Av4s6mFD3eNGy8Taicq0kb9Ao4ptFQ7ThxJ4 wLR9R3UJlU1feIVogrqCSMOWGy5f6UW3AEwMB7cElC0f7ciBDT1kCCFx8WRuplvYG5 IL4ua+LAWAaDw== From: Benjamin Date: Fri, 10 Nov 2023 16:46:21 +0100 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-xdg): New variable. Change-Id: Ie4246d9e655fafd60e650ac8043bdc6d51bcb737 --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 76cc995753..a12e7f4264 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9753,6 +9753,26 @@ (define-public ocaml-stdune "This library is dune standard library. It offers no backwards compatibility guarantees."))) +(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 library for ocaml") + (description + "This ocaml library returns user XDG directories such as XDG_CONFIG_HOME, + XDG_STATE_HOME."))) + (define-public ocaml-ordering (package (inherit dune) From patchwork Fri Nov 10 15:46:22 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56217 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 813E627BBE2; Fri, 10 Nov 2023 15:49:11 +0000 (GMT) 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 4424627BBEC for ; Fri, 10 Nov 2023 15:49:05 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkH-0003sB-Mr; Fri, 10 Nov 2023 10:48:33 -0500 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 1r1TkE-0003ne-HY for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:30 -0500 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 1r1TkE-0006yO-8y for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:30 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tko-0007qX-SE; Fri, 10 Nov 2023 10:49:06 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:06 +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.169963133329944 (code B ref 64209); Fri, 10 Nov 2023 15:49:06 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:53 +0000 Received: from localhost ([127.0.0.1]:50655 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkb-0007mr-6C for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:53 -0500 Received: from mail.uvy.fr ([146.59.197.40]:48296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1TkZ-0007lg-DA for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:52 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631286; bh=S1teDcSIKPfCkfw8YHsnnSvZE5ClAjFR+nPkqP63/N0=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=bKVIfcjQySBlOMFfFj3ksPnf3qpWzTvYGsjlVhwS4kwA4gxfN6i2GHBUHih0q6CR7 pd02OF5KsQIykejRLkRHSnmF6cmEWIziKrPcmzbc/SrQC2cQhyDF5Zq96VxOzFa1iW DhN7EyRB5qchReMGPiWaC4Coyl0y7CR/Gagr8F/2ZMkh67N1XSCBcmAEkAgUmZGWxl MGs00eY4OXl5zWQqBqstYrPA2QnmcmZhl8dXLGrFxtFSA9rzi8MLvk18O3nTrkzIof h2+qCBU3q4mupvtK1czREcasoEjrhtLokuGfBw2XY8d+fLT7OMD588l1zpy4Fj+7tu 435Sbil4Knulg== From: Benjamin Date: Fri, 10 Nov 2023 16:46:22 +0100 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. Change-Id: I6f07101aa27eb5879ab8c33a72e4278ba09b6b92 --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a12e7f4264..2af4f4133f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9792,6 +9792,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 parses ocaml complier output and returns it as ocaml values. +This library offers no backwards compatibility guarantees."))) + (define-public ocaml-either (package (name "ocaml-either") From patchwork Fri Nov 10 15:46:23 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56220 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 CB17627BBE2; Fri, 10 Nov 2023 15:49:16 +0000 (GMT) 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 88A8527BBEC for ; Fri, 10 Nov 2023 15:49:12 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkC-0003mO-VY; Fri, 10 Nov 2023 10:48:28 -0500 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 1r1TkB-0003le-Ux for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:27 -0500 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 1r1TkB-0006xe-IX for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:27 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkp-0007qi-AF; Fri, 10 Nov 2023 10:49:07 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:07 +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.169963133729983 (code B ref 64209); Fri, 10 Nov 2023 15:49:07 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:57 +0000 Received: from localhost ([127.0.0.1]:50659 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tke-0007nV-If for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:56 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:35664) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkc-0007mJ-NB for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631289; bh=gTFMYdj6w9LbOGHA1Tv7r/p6kgpWVXCr8v3IWt4pCCA=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=0/AjQLft+BEhG8dCdlnVrmrlkQx0ajL9ZCS4uwiTCmkrh0uB/pdSc0F56JXmaPo09 VF6LmVqrwRZ8gaKcc6tYMccdFOEC4FjnxOdEE+1Dg2Smx+mXWkUwh1n23+BUqMAgHs B8/HLW1EL4960gtay4TgQT4h9RS6LcHSZk7VYmwHK0RR+W7BROyep2uSYxaCIjhHpZ VrcGEeaOvgBAKqACsmPJioWbrXGT+qH8TQN7G3iqPH1Efscw14mVV0QjiGSNd7IJum SEa7LzboyShxHj+rIvjvbf7fHCYgelGaB6vNpRXAB2IjAytta4PC3ozSc/baCzjuaf b4Z++xrecFWjw== From: Benjamin Date: Fri, 10 Nov 2023 16:46:23 +0100 Message-ID: <562531b201c3165ec8d5a0a3fefdeee4bd716835.1699630991.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. Change-Id: I712cc3d907915fe9e1a0d3ff9e02bd6514130645 --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2af4f4133f..733bcd011e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9753,6 +9753,26 @@ (define-public ocaml-stdune "This library is dune standard library. It offers no backwards compatibility guarantees."))) +(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 for ocaml") + (description + "This library implements structured concurrency for ocaml. + It offers no backwards compatibility guarantees."))) + (define-public ocaml-xdg (package (inherit dune) From patchwork Fri Nov 10 15:46:24 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56225 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 74F1327BBE9; Fri, 10 Nov 2023 15:49:34 +0000 (GMT) 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 707C727BBEA for ; Fri, 10 Nov 2023 15:49:33 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkG-0003oP-Bx; Fri, 10 Nov 2023 10:48:32 -0500 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 1r1TkE-0003mu-5Z for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:30 -0500 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 1r1TkD-0006yI-Tv for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:29 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkq-0007rB-5o; Fri, 10 Nov 2023 10:49:08 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:08 +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.169963134230042 (code B ref 64209); Fri, 10 Nov 2023 15:49:08 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:49:02 +0000 Received: from localhost ([127.0.0.1]:50664 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkj-0007oJ-98 for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:49:02 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:35666) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkf-0007mo-Sg for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:58 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631292; bh=hRnvgW5pXJ7lifGb3aSnF5zPUPYStfU5xctTLqE2vK0=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=vNhC1mdMNvs9w24yEBQDdXG1y5unmqfZjHOiv/8QAvWFQiXqjQ9Ku1e3ZDqfzisl8 ssuMRhRpc22arlVHaLhI6wLXSDegH5NrdPZwkoZGBMBZDeKBQoZHnxmGS1i3SCn6Jx XGLnlRTI4cRXzty+/zpTLEuITjazBNlBIRKvbpOE0fQ54nFbzYkCm84UUJ833ngKe9 H+kgokqBvnBYNBCIQ0KD16DgEV5x5Cv2CnuvJNMkaq8KHwosE7aaJu6bS5uxZTNPYe baNPr+kqZqP10MywO0TiGiaB+UvKclKP/8PmIOu96aAbXOhXQzHrV7Frmoc2a4cwXA nxeeOSSxFAsng== From: Benjamin Date: Fri, 10 Nov 2023 16:46:24 +0100 Message-ID: <0d1362ebc5b2475bcc6a2a0cd9a6b07ff90b28e1.1699630991.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-rpc): New variable. Change-Id: Iccdb76ffa3ca7a896de9f349939df77dfaca35f8 --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 733bcd011e..e96beeed56 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9691,6 +9691,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 ocaml dune using rpc") + (description "Library to connect and control a running dune instance."))) + (define-public ocaml-chrome-trace (package (inherit dune) From patchwork Fri Nov 10 15:46:25 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56224 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 A9D8A27BBE9; Fri, 10 Nov 2023 15:49:33 +0000 (GMT) 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 39C8627BBE2 for ; Fri, 10 Nov 2023 15:49:33 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkD-0003mk-TT; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkC-0003mC-8N for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:28 -0500 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 1r1TkB-0006xq-W1 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:28 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkp-0007qw-OI; Fri, 10 Nov 2023 10:49:07 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:07 +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.169963133729992 (code B ref 64209); Fri, 10 Nov 2023 15:49:07 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:57 +0000 Received: from localhost ([127.0.0.1]:50661 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tke-0007ne-UN for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:57 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:35664) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkd-0007mJ-GS for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631295; bh=tZKYHtQd4Aczb1gSo1JdHiT0v2PeqeUd1M2MttLONXw=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=siDaoBeRQgSFOXwMDFuA1WRoOqf6qOQsdEZai8CSuUSCYUROAS7jcgtiCPzWT7K1D pgmuaNycS0U1RqUbQIKHE0ob04Wf3sSrnfyqw3LM4Sct7YY8Aqdk1ZwtkHjWD8QPjK iF5ud8o0eXgFF2mI3hUOajPLpl4EksoHj4Gt7ndrkqJkQY5vQyV/cupELAzauoMWpp 80ItbjNNWTMJwQIV621uEjp5nGBN9kuwzEVggfz8nC1QEVBRhF55hQqRLEo0N7ELP9 fuWrtDQ24ju9ObSCN6P1Q7KDjzMDpREXJINEMZssJyekvT6dBXGFqQQgLP+0e3SgVM TZDWsMsWr9ToA== From: Benjamin Date: Fri, 10 Nov 2023 16:46:25 +0100 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-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 e96beeed56..f9405ae2b9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6205,6 +6205,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 Fri Nov 10 15:46:26 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benjamin X-Patchwork-Id: 56226 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 C693127BBED; Fri, 10 Nov 2023 15:49:40 +0000 (GMT) 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 366DD27BBE2 for ; Fri, 10 Nov 2023 15:49:40 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkE-0003ni-RS; Fri, 10 Nov 2023 10:48:30 -0500 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 1r1TkD-0003mQ-5W for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkC-0006y3-Tq for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:28 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkq-0007rL-LQ; Fri, 10 Nov 2023 10:49:08 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 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: Fri, 10 Nov 2023 15:49:08 +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.169963134730187 (code B ref 64209); Fri, 10 Nov 2023 15:49:08 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:49:07 +0000 Received: from localhost ([127.0.0.1]:50698 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkp-0007qg-4Y for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:49:07 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:35668) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tkm-0007o7-Lp for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:49:05 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631299; bh=uc+8rz8jt5NYbH5r+LoLGIgpMqJ0/kNGqALXBSZ0jxY=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=XQW+IUZO1T97FKh7z51+Mqac+iyXekGtGkFuCMWs7eesg/QsNlXlo+FmhN5ZXqo6+ d5vKPIjLx1AsWjELHP+YeRzyDSHGrLuqadQeKjvYnx4k7hTL6xqZp5m4O+52xNbRoV COwcSl2VWL+bEHftIay2/Ivyk0cOs+s5UV9wNQWzoKX7Hs8iodFhwyH6/dc+1rECxe Jpn+8PBDagpFyhpcsxhfN9jPLy+nae/D2ddVyms37QabpOD9zjWtdVExqqWdcjwUzc cT16+HaNlE1bAU2R0j8lycd7yS4vkfxObDe2O5SqeS4W3KebHyYhv+FhEok0dCP/kA wo9bcn7vA0VLQ== From: Benjamin Date: Fri, 10 Nov 2023 16:46:26 +0100 Message-ID: <04fccf1e6952e13e2e89404bef218c540aae2e16.1699630991.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 f9405ae2b9..3d2826f0ce 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6298,6 +6298,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")