From patchwork Thu Sep 26 07:23:31 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31480 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 07CA927BBE9; Thu, 26 Sep 2024 08:26:47 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 5B17927BBE2 for ; Thu, 26 Sep 2024 08:26:45 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisi-00063s-0k; Thu, 26 Sep 2024 03:25:44 -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 1stisf-00062V-C9 for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisf-0003Xj-2W for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:From:To:In-Reply-To:References:Subject; bh=M3ck8pfsMrk4jFIJ5gPl6irdw4MG00x7feYBdRwgNg4=; b=h57NCt1APbS9C4b+oIGJGpP0ByvnmFjb5fxsoAsNP2TNm1DStSJOt4dE+7BHEXM5ZMumMulUUoS2Sv2bkFe5FgLVwaofUuA/0htQORxpuafpl6dgc8VNOFbL75k/0Pz1G/wV35a1/gi/oTUcAfWnceO0i2hIEIXuNm6YS1eWY+WKyNQMkzBRSFnrwrRowBfCgj1R7Pl0mMgvmJa9T06MexgubJ3+9cbENN8bviRtSqqLdmWvcCwOMTm2om9sAwAGIVn7mAWtJYElCt3ZS28xxeFHFIcs18xmAoY613JdtYFwsUT8RWYqUELz9dv3o2cnF8g676zr797R8F0IUa9MSw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit0-0000nT-LM; Thu, 26 Sep 2024 03:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 01/15] gnu: Add ocaml-ppx-yojson-conv-lib. References: <2a9cc50a22ef14c84d7a5479e10ff42e9efa5ba1.1727250772.git.herman@rimm.ee> In-Reply-To: <2a9cc50a22ef14c84d7a5479e10ff42e9efa5ba1.1727250772.git.herman@rimm.ee> Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355072315 (code B ref 73466); Thu, 26 Sep 2024 07:26:02 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:07 +0000 Received: from localhost ([127.0.0.1]:49525 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis6-0000bH-IW for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:06 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis3-0000aL-Fa for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335468; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=M3ck8pfsMrk4jFIJ5gPl6irdw4MG00x7feYBdRwgNg4=; b=BmVXnFXfgtGGhcCfRCYc43Y/QlFTkmXQhvQXQoaDMBlrFxcVMJS3r42WiLEM9yJw0pOOtC oEQ0J2upTIXbmSUSmshXIWO0bmmcj/X5ZkHLi9PihF6P8lzxAh2YvtKoaN5Y/DBHXcHd0l KajsXZv+rYyX/CIq3Y/t9yg7jf/iEsnUEt87hZFkrxpBIhnBp4BL7708gpMBe93hv+SL7s zlIIgdTUnugUCiHhe3YPoYhp1xC0Tl4kvJMZOh3d7n+kRZs+1iCwsti+eg+xXeAfuO88QJ 4O3GH3/RG9xX9QaJrAJWV1F36ZsHxLs0Y/blELxjQ3gNZdJiWKYs92xLxmTfFg== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id d2aae235 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:28 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:31 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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): Add variable. Change-Id: I8ca854802d2abcf479b93109c585548b063d0101 --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) base-commit: 5955c2aebc95f5ba7a75a92e2c045af8ea56685b diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6ba5f5e374..a17b46a5b9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -536,6 +536,27 @@ (define-public ocaml-4.07 (define-public ocaml ocaml-4.14) +(define-public ocaml-ppx-yojson-conv-lib + (package + (name "ocaml-ppx-yojson-conv-lib") + (version "0.17.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/janestreet/ppx_yojson_conv_lib") + (commit (string-append "v" version)))) + (sha256 + (base32 + "0nd9vghqbgpam17n4lrcwp88n67q98x0dr86d921760y05q2js2w")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-yojson)) + (properties `((upstream-name . "ppx_yojson_conv_lib"))) + (home-page "https://github.com/janestreet/ppx_yojson_conv_lib") + (synopsis "Runtime lib for ppx_yojson_conv") + (description "Part of the Jane Street's PPX rewriters collection.") + (license license:expat))) + (define-public ocamlbuild (package (name "ocamlbuild") From patchwork Thu Sep 26 07:23:32 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31484 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 CA45327BBEA; Thu, 26 Sep 2024 08:56:28 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 3828227BBE2 for ; Thu, 26 Sep 2024 08:56:28 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stjM6-0007fo-Ri; Thu, 26 Sep 2024 03:56: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 1stjLi-00061Q-69 for guix-patches@gnu.org; Thu, 26 Sep 2024 03:55:50 -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 1stjLh-0007X2-BZ for guix-patches@gnu.org; Thu, 26 Sep 2024 03:55:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=tpAyUM4MwghAWtqblsVWELnjiejju+2euWt4PHzRs+A=; b=PCtT2UeoJulayOqfL3I0a52ovSKwWgoZB/9OfzerG7u7tO3hEm5SmnOtjkfkDzjfKjA283h9JfYXadYm6LvsoF7wS/Blv6Zr2eJ8sBmSIbOgY21/nuiyABC2RtIy4Umiod608vZzLh4XoBFzhEXxBx0sFfLUWgOcSNeJS9djmABz+T5R7Mc7sTMULt3SbIebyfbTmIwsPHg+owj0BJILVyF5/aZmTVS1pyI55bdhXdYLFI92+y+7bVMvGhtf28c1P5mn9yJQUmsTBo23rSlAskQNy0754nyMblDyq5jXC+/YdYNEZkUH2QkLNHsivc4KPcfJPKQzRR1EEhyVQBglSA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stjM4-0003Cw-3T; Thu, 26 Sep 2024 03:56:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 02/15] gnu: Add ocaml-jsonrpc. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:56:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.172733732111633 (code B ref 73466); Thu, 26 Sep 2024 07:56:04 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:55:21 +0000 Received: from localhost ([127.0.0.1]:51763 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stjLM-00031P-H0 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:55:21 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis5-0000aL-HR for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335468; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=tpAyUM4MwghAWtqblsVWELnjiejju+2euWt4PHzRs+A=; b=Ji5s+5R671dRPELumYDDesFUYRpelA3efLzNzicMftP2vacSoxBvjWDj7xHSWtBFxMZYaA f9FwdDYC7DPu2OSv06D4iMT6MR1O3FnyuX3bg7yBRFCUzjT0ANyLsKwT0WbX9NBWzX4C9X C/utEMHMGMk4Aa7MrYeW0MEEERhmbr0VGbzaFc6h8Siiz420cMecGOJiU9tl5X73AHr3pv ZrpIKtPlACeQATXGxMrt5oNoQaCbz8nQjCfIXoZWAtXDx9cV9PA3axLH2MYggLnn3/UnNm UVvwsPU6GOXdeRTLHCjnQ5tMEBctIbdo9bNDCy7RxacNaz7/9SJsaFjkiKY/nw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id c6b18c14 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:28 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:32 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-jsonrpc): Add variable. Change-Id: I0486038d2d5936ca462413eca605c356c00d39d7 --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a17b46a5b9..7dcc17357d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4005,6 +4005,45 @@ (define-public ocaml-jsonm without a complete in-memory representation of the data.") (license license:isc))) +(define-public ocaml-jsonrpc + (package + (name "ocaml-jsonrpc") + (version "1.17.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/ocaml-lsp") + (commit version))) + (file-name (git-file-name name version)) + (modules '((guix build utils))) + (snippet #~(for-each delete-file-recursively + '("jsonrpc-fiber" + "lsp" + "lsp.opam" + "lsp-fiber" + "ocaml-lsp-server" + "ocaml-lsp-server.opam"))) + (sha256 + (base32 + "1w1m2mi7va3wcwgvgzqd3af6hrhx5zzyr3hqa228pcimp44w6f0h")))) + (build-system dune-build-system) + (arguments `(#:package "jsonrpc")) + (propagated-inputs (list ocaml-odoc)) + (native-inputs (list dune-stdune + ocaml-dune-build-info + ocaml-ppx-expect + ocaml-ppx-inline-test + ocaml-ppx-yojson-conv-lib + ocaml-uutf + ocaml-yojson)) + (home-page "https://github.com/ocaml/ocaml-lsp") + (synopsis "JSON-RPC protocol implementation") + (description + "This package provides a JSON-RPC implementation as described in +https://www.jsonrpc.org/specification.") + (license license:isc))) + (define-public ocaml-ocp-indent (package (name "ocaml-ocp-indent") From patchwork Thu Sep 26 07:23:33 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31485 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 6878727BBEA; Thu, 26 Sep 2024 08:56: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 2C7A127BBE2 for ; Thu, 26 Sep 2024 08:56:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stjM5-0007Ym-Tz; Thu, 26 Sep 2024 03:56:06 -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 1stjLi-00061O-5u for guix-patches@gnu.org; Thu, 26 Sep 2024 03:55:49 -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 1stjLh-0007X0-7w for guix-patches@gnu.org; Thu, 26 Sep 2024 03:55:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=2Hx+4Da3enkA1egExzHfIHqhjMVc/4hCKpAU8qGfUoU=; b=CJxEyo1zldU9SeoNG78RuHkGUMa/3Gey/ewo6FRMdMZu+2Rlkmcl2+PSDRFIYEgJk5G9nU2p65rE5GRGNBfZl669cTlyVkE3eWq+seeOmjcE4Na7f0OtqhtCrb+e/hhsy68txA44mRPxtFqs/Y6L6rYtcP0BbXxke7i2C3dZ2FSRqflvbWVLsHKZMBmkrZCsm0+LR7RPyZHs9brXekPXjvAY3JIgAu7C+lHNRfBWlBLyCI9Ul1DGP/T16aPY6YDYCofopDgsXvCQBlviIyNtpvbk9yJPl8bTozp/PsOqHdKmohdhGXi7ypNc6xdlg9MGwENHnPNUQCEz8ZrM6jTnIw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stjM4-0003D4-Iq; Thu, 26 Sep 2024 03:56:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 03/15] gnu: Add ocaml-arg-complete. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:56:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.172733732211643 (code B ref 73466); Thu, 26 Sep 2024 07:56:04 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:55:22 +0000 Received: from localhost ([127.0.0.1]:51765 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stjLN-00031a-Pw for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:55:22 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis6-0000aL-H3 for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335469; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=2Hx+4Da3enkA1egExzHfIHqhjMVc/4hCKpAU8qGfUoU=; b=RHurRjYqE5zL3Zz05nQBc+BGcfQ+rOD4C8UavS7nGQiuYVesYeuHboCvWIgVhkvfnbAu9n LWaAs3IHkQby/hyTbqYL/nAwGJkqaNg4KECuT1FNsVEbFRA1kHTnmhaIYUsyZGIDSJV1I9 yoea1ErKbsW0Hu3WYu1JDA5tiGKFCmx4+2jIL0MciS1xfPabp1JCo94mnCxDsgi21LKAuF n9ZRX4ShgK7FHob1FTQCN6cDby1Jw6+tKPBYAkFf8AHy/mj7iwgTLVdXrBmnkUJt+z9qA3 Ym3D7tDDNep5kEWEXmYMH3IHUs6H++ffvb5O1UoTubSiHZLd+pb+YWobYJ0+Rw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 798d0b01 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:29 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:33 +0200 Message-ID: <28f6a934255943936d73935ffaaf49f5b7034a82.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-arg-complete): Add variable. Change-Id: I9f6b5345ccb79f7774451656e8a9a4422a84d2d6 --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7dcc17357d..580d48e354 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -654,6 +654,28 @@ (define-public camlidl code for interfacing Caml with C from an IDL description of the C functions.") (license license:lgpl2.1))) +(define-public ocaml-arg-complete + (package + (name "ocaml-arg-complete") + (version "0.1.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/sim642/ocaml-arg-complete") + (commit version))) + (sha256 + (base32 + "0axvgkjs11prsch9ms8r6kk4pj2gcajj27qrxj3v49x3pmilqbcl")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-cppo ocaml-odoc)) + (native-inputs (list ocaml-ounit2)) + (home-page "https://github.com/sim642/ocaml-arg-complete") + (synopsis "Bash completion support for Stdlib.Arg") + (description + "This package provides bash completion support for Stdlib.Arg.") + (license license:expat))) + (define-public ocaml-extlib (package (name "ocaml-extlib") From patchwork Thu Sep 26 07:23:34 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31479 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 A0BC827BBEA; Thu, 26 Sep 2024 08:26: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 41FE127BBE2 for ; Thu, 26 Sep 2024 08:26:43 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisg-00063j-TZ; Thu, 26 Sep 2024 03:25:43 -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 1stisf-00062O-27 for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisb-0003Wk-BB for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=SN4Of2XzeWWkJFaGy/EbkYdZWL1/zrnIcQ/dyaYgRSc=; b=qI/rn5ObDPf0Lszwe81ZJrdvKtHdoFw80SD+DxCmGgkOPWx31fHpKXIr5hWq6yBxh3JxQYLR7Pt7fIjb2vlL6KBCZY11QvHfGoR8vl8tJUBTtQ0v8QBa53yTwKvpNW8NhOSki9Sg8zvNWLyW38h/NWDFMGSEV+OD8z9yeUvMbU1xIai1sWUNetOFDUoneSa2JnM4dLETPRhNz29Q/eLaHHq6HGPLKzvMDH+EUmMX460wBpXO8zkPBup0QQVT/8I0GD424ULfL3o/twFl1m2v02My5efy+TZd4I4a3YB4G+TmxjJ3yhhhSVeEuirMvS0Af4/jXJqBOvD8y1Cnx2Z0aA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit1-0000na-45; Thu, 26 Sep 2024 03:26:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 04/15] gnu: Add ocaml-zmq. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355202408 (code B ref 73466); Thu, 26 Sep 2024 07:26:03 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:20 +0000 Received: from localhost ([127.0.0.1]:49555 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisJ-0000cd-B3 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:20 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis7-0000aL-K2 for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335469; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=SN4Of2XzeWWkJFaGy/EbkYdZWL1/zrnIcQ/dyaYgRSc=; b=cYeq3TOPX9z+fVbwXVNRz2cA10Nk1fzQalu08Onecm2BnDHsAmW+jW7vkFpL/UMAG4Mw+X U50EOaEuGz8nhTM3oGM90UGPz4sk3KwYRvg57fSp8iqFlQITvaN/0NmB/bjoI6gDbSKaSy dRClgydV9tEXzbxX7GQZw+WGBNH2aZPaX6OX5XjapXtKiJPr1eUcaCRlwN0vdB1eYcLNcj iMelD7ip6o/ECzxAPVv+tlGcmhJ5EpKmV1WetrYaxorhz+lZD4Ev/Y9dLvCtNoSPW3ymyz ZtLn7SE5HsgKxMKKpDL1tOyWY6L0VOQnKc7aXulNSRs0GmegRDNbPVu/26r4Eg== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id f264c7df (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:29 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:34 +0200 Message-ID: <4aaa35d1661a13ba4c22c3d94136bb99a6edc047.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-zmq): Add variable. Change-Id: I3b51d45fb966f945487323a83f4363720ad0dc19 --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 580d48e354..b7160cab36 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -73,6 +73,7 @@ (define-module (gnu packages ocaml) #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) + #:use-module (gnu packages networking) #:use-module (gnu packages node) #:use-module (gnu packages pcre) #:use-module (gnu packages perl) @@ -9488,6 +9489,33 @@ (define-public ocaml-guile 3.0, supporting easy interop between OCaml and GNU Guile Scheme.") (license license:gpl3+))) +(define-public ocaml-zmq + (package + (name "ocaml-zmq") + (version "5.3.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/issuu/ocaml-zmq") + (commit version))) + (sha256 + (base32 "0siialyjxr7qhns6g0xi6v4z042y40240z6fkh775fi6q1mhslxh")))) + (build-system dune-build-system) + (arguments (list #:package "zmq")) + (propagated-inputs (list dune-configurator ocaml-odoc zeromq)) + (native-inputs (list ocaml-async-kernel + ocaml-base + ocaml5.0-eio-main + ocaml-ounit2)) + (home-page "https://github.com/issuu/ocaml-zmq") + (synopsis "OCaml bindings for ZeroMQ 4.x") + (description + "This library contains basic bindings for ZMQ. Lwt-aware bindings +to zmq are available though package zmq-lwt Async aware bindings to zmq +are available though package zmq-async.") + (license license:expat))) + ;;; ;;; Avoid adding new packages to the end of this file. To reduce the chances ;;; of a merge conflict, place them above by existing packages with similar From patchwork Thu Sep 26 07:23:35 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31476 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 1865027BBEE; Thu, 26 Sep 2024 08:26: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 C19A627BBE2 for ; Thu, 26 Sep 2024 08:26:31 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stish-00063r-Tw; Thu, 26 Sep 2024 03:25:43 -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 1stisf-00062S-3y for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisb-0003Wq-UP for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=4VP9j5mngQgVTPNTdRXdgaGx9t6oCdXgTXKCFfNUCe8=; b=RunfWeENv8vT0h2g+eA7Bf5pNUuR2dbWVKRRNFYbjJnlAaX7E6LqJR8tRmhl5MiJ/HFFjPQVJiqawQBcJDFrkDGvJTdtZ004fcufD2QmwL3VUbHds935G8xFUFzK0LItHbKTxXT7dGQ3vUXTb0tWEpEhzdiroWmNi0chFwEQfomhcxrUAh8NOxzFkWMq3RSZExqIhdWovuwHC2tH8YdP1EJcc9UphsDhoDaalQWXLrGwk0Jg0kwscmBs29OOOA87p8UoxzdvIaa1EguyTAKyJMp4cs7MROn8DjxaHwDvYquyukBgTyAvjylCbGxayqYdFofOKTinvvjP7ktqPprbbg==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit1-0000nh-Lg; Thu, 26 Sep 2024 03:26:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 05/15] gnu: Add ocaml-directories. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355202415 (code B ref 73466); Thu, 26 Sep 2024 07:26:03 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:20 +0000 Received: from localhost ([127.0.0.1]:49558 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisK-0000cn-8m for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:20 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis8-0000aL-DP for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335469; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=4VP9j5mngQgVTPNTdRXdgaGx9t6oCdXgTXKCFfNUCe8=; b=c75mlrXiHWinytKp9YVVQ6B+E6PaNWP03DHEYNSdaySGT8fXicCjeilTlPZyKJekZ5d3qA 7df7xq+Xfwa5IEahg/eKnOZoH39PnGwzt86h0zZt5WomDYzAXpj9QPLtXHyZ0FVOjCLRrl 6svNwnX1QGw5xwsWjHCUkI7yF9991iDJgFixktjey21YDEqQem4Ur4YiiflRoGPGWZaFTA +qjvXOiuVuMfR9ZoDqTyEgBwS8DwNDHUcnO98gMBu6J+oQAUiJlYVKrF+hUquPcJZdrpKv u8fcEp/fwyVW/HEsqafDgokHulcx1XNuRmObc5lQXgUtMjaQlZTjxlhr2G52QQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 1fee5b86 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:29 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:35 +0200 Message-ID: <361a0df311e0eb3807373fff68a1e0cde5c98142.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-directories): Add variable. Change-Id: I2cd9da3ae023f10cda302185abe6370cbf26b9e6 --- gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b7160cab36..f0886ac762 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -726,6 +726,36 @@ (define-public ocaml-cudf ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-directories + (package + (name "ocaml-directories") + (version "0.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/OCamlPro/directories") + (commit version))) + (sha256 + (base32 + "1xys79ji1fqjjyzgapqzd5zpx7gs2kiaf87csm4y8f4zd638cl6z")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-ctypes)) + (home-page "https://github.com/ocamlpro/directories") + (synopsis "Provides configuration, cache and data paths") + (description + "directories is an OCaml library that provides configuration, cache +and data paths (and more!) following the suitable conventions on Linux, +@code{macOS} and Windows. It is inspired by similar libraries for other +languages such as directories-jvm. The following conventions are used: + +@itemize +@item XDG Base Directory Specification and xdg-user-dirs on Linux; +@item Known Folders on Windows; +@item Standard Directories on @code{macOS}. +@end itemize") + (license license:isc))) + (define-public ocaml-mccs (package (name "ocaml-mccs") From patchwork Thu Sep 26 07:23:36 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31475 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 1DB0927BBEA; Thu, 26 Sep 2024 08:26:30 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 D18A327BBE2 for ; Thu, 26 Sep 2024 08:26:29 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stish-00063p-Cp; Thu, 26 Sep 2024 03:25:43 -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 1stisf-00062Q-2p for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisb-0003Wl-HM for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=ePgtgqVvElWoLKRyoVUgXrsVTm6WQFRd8+TG9domPEo=; b=rwcg4zJfYWyjXo+pwM6f3bqy7YlfaXEJ91KMy/Gn9T3GekqDuyVCe3ly0sYVa3DJ32YAN9/UkbD23Rj7lmtAr/GaPQRK5pkXjCjtjVNSLnEpllP8xiWN8vNThp4pU+J7u5wiKPBUpVdMMEV7sX6KMo6whOvzhXUrI+wyBacUq5y3lJxO8/hwirAGJsH+nqlOCAaPwJAd0iqFRgQhJH4KG7oOTLDx8pC6mqqdH8cYVoEkiEm/cWZ3dw5/OXBGWmmK2NQRnaCoED03Jt0jY/fzWQggPYxbBndrmAezIpPlWF+u+d7b0bpheWU1o7ag9R28XyWrk7b5D8Ma7jkBtGnAGA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit2-0000ns-9F; Thu, 26 Sep 2024 03:26:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 06/15] gnu: Add ocaml-catapult. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355212424 (code B ref 73466); Thu, 26 Sep 2024 07:26:04 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:21 +0000 Received: from localhost ([127.0.0.1]:49561 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisK-0000cu-N7 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:21 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis9-0000aL-3J for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335470; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=ePgtgqVvElWoLKRyoVUgXrsVTm6WQFRd8+TG9domPEo=; b=KxXBVZ5HjoB9He1g5osPS4WYf72LoL62Ua4s9UXq8zx4tzKSGyE1qmy/ym9AQsfsw/mFDh 3kc8owP3NyMYG9Qr/vqIm7ldc6B1rbghSVylXqxmpnVqiW7IwwPpl4w3z2NpjwzI+dWHhA qXPfsi79ZtmPLCH+UaBHWXTsVvSKDMmoWZF37YehON8F5UQC5qbO55TxsXjqbF///GVxKe mA396JU1HlxWUoqoc6z4unZVAQsusPfEWMsFlMdeAvfc64RRuoEe7UzW6Qwz8GNSiqJxix eeMpPLaDDju+1+nGsljx5uQ6Jptn11RVX2P7X1Z2WpFvFy1hOL9XmcJFNKWTsA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id c36c1c7d (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:30 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:36 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-catapult): Add variable. Change-Id: I066a6563772a7d7fe156ab036b04f5abb8d0d5b0 --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f0886ac762..3218dae5a9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -702,6 +702,29 @@ (define-public ocaml-extlib ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-catapult + (package + (name "ocaml-catapult") + (version "0.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AestheticIntegration/catapult") + (commit (string-append "v" version)))) + (sha256 + (base32 "1yy6rgnzqvms5lnlqzqsbbdnmil5p66rfif5229vamgdjbdf5r7q")))) + (build-system dune-build-system) + (native-inputs + (list ocaml-directories ocaml-logs ocaml-sqlite3 ocaml-zmq)) + (propagated-inputs (list ocaml-odoc)) + (home-page "https://github.com/AestheticIntegration/catapult") + (synopsis "Tracing system based on Catapult/TEF format") + (description + "This package provides a tracing system based on the Catapult/TEF +format.") + (license license:expat))) + (define-public ocaml-cudf (package (name "ocaml-cudf") From patchwork Thu Sep 26 07:23:37 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31472 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 73EAE27BBE2; Thu, 26 Sep 2024 08:26:12 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 DFBCE27BBEC for ; Thu, 26 Sep 2024 08:26:10 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisk-00064t-ML; Thu, 26 Sep 2024 03:25:46 -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 1stisf-00062R-2p for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisb-0003Wr-VL for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=lgTljIiBQ/KhmeuFHLtQAkKlMuMACG52BStKbVnUDYE=; b=Xnlbk4UwhG4vMOtZvQzROn/P4mDythibCrQk2jb3AMsrRv2F4kliPwcHRfNNOUlwj9fpFTRikDZPcTQwTFIH8VwRAgh0k9uIdMpzC97Im5/8bZ4FNI7iPkw5Q0bCtr25mwdAvwiPOyNYbCIWqniaMvfuARIht5JGiDKyShguDPL4A7UTumk5RFM0VN3FCK+U3jvJma6a2p+GIVz2LifO9HdzzH7N1zAIy17/xWJNShNLSKA8p4rO0lAReDKhRVqXv2TmJve2HKa+Q0qlK0cH5NY8FYjAJE+jgYCJXZtJxhbiogJBNC3ueGIxrreD7cgLLhs5g4stgjMD4DLMSvThDw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit2-0000o2-Nr; Thu, 26 Sep 2024 03:26:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 07/15] gnu: Add ocaml-zarith-stubs-js. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355292454 (code B ref 73466); Thu, 26 Sep 2024 07:26:04 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:29 +0000 Received: from localhost ([127.0.0.1]:49568 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisT-0000dV-6X for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:29 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis9-0000aL-Qy for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335470; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=lgTljIiBQ/KhmeuFHLtQAkKlMuMACG52BStKbVnUDYE=; b=btOes0LCBYV466BM3cT/tNOwMm2YLVw4trmpEZy64RTfNDZ4bT2EUcSNx0X8lXTA/bUND0 VwXFMAEwAR6AoQKzaczE7IeyGgQYf2tZYVBIH+/AExmKqcQ4KiOVaIkcLNZ/Z5KMQHDHFH amvajrX2obbadcov4j4Mz3ZONxEBiCD5eysmoRZxOg5o6AUUWtt84DKO6eZtmccVpwA5gR vbMjtqYV9Fa+YuCBkCHDIqE1wSWYZuY5DnSuQpTygoqu+unxIc5nsLw/GYfpolsV77TVyl by4Lb4YR/sB5Jk3065tCgmFScNpTW6IiZGYW8OFj5XmUOcc3JOY30z4Ts3NVSQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 81fc85f6 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:30 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:37 +0200 Message-ID: <4b7fd4a59735605714556adb5fd9b45512e24a1e.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-zarith-stubs-js): Add variable. Change-Id: I8149b23d39e06996933b681234a970beb0ca0b78 --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3218dae5a9..db46488258 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1906,6 +1906,30 @@ (define-public ocaml-zarith for speed and space economy.") (license license:lgpl2.1+))) ; with an exception +(define-public ocaml-zarith-stubs-js + (package + (name "ocaml-zarith-stubs-js") + (version "0.17.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/janestreet/zarith_stubs_js") + (commit (string-append "v" version)))) + (sha256 + (base32 + "07anr6r4chbpgd7c5ixfqgqr99kb202bd7q350hdqynrn7v6rn20")))) + (build-system dune-build-system) + (arguments (list #:tests? #f)) ; File unavailable. + (properties `((upstream-name . "zarith_stubs_js"))) + (native-inputs (list ocaml-ppx-jane)) + (home-page "https://github.com/janestreet/zarith_stubs_js") + (synopsis "Javascripts stubs for the Zarith library") + (description + "This library contains no ocaml code, but instead implements all +of the Zarith C stubs in Javascript for use in Js_of_ocaml.") + (license license:expat))) + (define-public ocaml-frontc (package (name "ocaml-frontc") From patchwork Thu Sep 26 07:23:38 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31477 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 C063327BBE2; Thu, 26 Sep 2024 08:26: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 C482227BBEA for ; Thu, 26 Sep 2024 08:26:31 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisi-00063u-AC; Thu, 26 Sep 2024 03:25:44 -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 1stisf-00062U-4I for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisc-0003Ws-Et for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=Ag1QHshR6nb4WwA4XTndT01I/NEGC9xDIq/p3X9oT6s=; b=Tn2c4Zd34e2ASr7bpNsqzlaVhh8e4mBm71Y8FfgdxbR+nsXt4NE29ZjlkV1mtlxPOb0dDua9cLibCdNSgODNXCH4Pl6lcG7uvqzpWIEiQMeRYGoXeKt+WXusxLotIposEjC88YHosqKxlm42o8jjfAOm41v3hBnfeH9m9QhCWeAPLERSDprz/cKQocDLoohPjvw75HpSn6q3gIlk6CYPgXN2LLqpCuJplWQy0zgQIa9JINbjLMkzDB6DQMy6PeTbL77BnLC8rkFbXa2oCWqe8eV0w4kpwd8/payFvkgYgbVCaWm8HJlEMAQ/4lJ+E2uQCxubAtGQuXoOZ63I5XzsGA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit3-0000oC-7N; Thu, 26 Sep 2024 03:26:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 08/15] gnu: ocaml-qcheck: Update to 0.22. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355302465 (code B ref 73466); Thu, 26 Sep 2024 07:26:05 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:30 +0000 Received: from localhost ([127.0.0.1]:49570 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisT-0000dc-NN for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:30 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisA-0000aL-MM for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:11 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335471; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=Ag1QHshR6nb4WwA4XTndT01I/NEGC9xDIq/p3X9oT6s=; b=h2PpMh00EvCjapXslQ/ZrMAHHRAyNuf2UtpHRMqk26RvNfMG5SZrMeFuMdoy0a3TaRGfNS ZIbhXkiTa3btcmePZ6sHTaduKjLbdO/Vp0LSrBSRYAdP9mKxjQX3KRQKA8G6S3K/UqSyl+ nk+Mh67cp22XgMTpkbjY0F+9ajlmnOhSp90BrKdErI7UqVoSOlXPrXdgWgrioC1bwb2k56 qMWriCjwCOXRKkd8I9dApifBqkiblPbQPJ5hJox55ScHcM8ZaiYT31UwebGVUg34ojqBUR +sVF2Q+j1uzwYDErcjo4Zfzlpi+KNRzSeDaqFrfQrnBpe/lY/UxoNK+Bz7NiUQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 44aae575 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:31 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:38 +0200 Message-ID: <1176316abea5ae039e4feb22f62eac38ea2a0830.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-qcheck): Update to 0.22. [propagated-inputs]: Add ocaml-odoc. Remove ocaml-ounit. Move ocaml-alcotest and ocaml-ppxlib to native-inputs. [native-inputs]: Add ocaml-ounit2. [description]: Limit to 72 columns and add space after periods. [license]: Change to BSD-2-Clause. Change-Id: I22ccd7a20631e7318cd4972e926693b475b49bd3 --- gnu/packages/ocaml.scm | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index db46488258..2b5dd396cc 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1964,7 +1964,7 @@ (define-public ocaml-frontc (define-public ocaml-qcheck (package (name "ocaml-qcheck") - (version "0.20") + (version "0.22") (source (origin (method git-fetch) @@ -1973,19 +1973,19 @@ (define-public ocaml-qcheck (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1r0m5p1dd06lbgfxqdpl1ya4vb8252z7hqkvdi9k444g4rx2ay3p")))) + (base32 + "065ybfhwfiavv8s28dhfk8fwif08973gg1ybpdfv0mxzqxyyny95")))) (build-system dune-build-system) - (propagated-inputs - (list ocaml-alcotest ocaml-ounit ocaml-ppxlib)) - (native-inputs - (list ocamlbuild)) + (propagated-inputs (list ocaml-odoc)) + (native-inputs (list ocaml-alcotest ocaml-ounit2 ocaml-ppxlib)) (home-page "https://github.com/c-cube/qcheck") (synopsis "QuickCheck inspired property-based testing for OCaml") - (description "QuickCheck inspired property-based testing for OCaml. This -module checks invariants (properties of some types) over randomly -generated instances of the type. It provides combinators for generating -instances and printing them.") - (license license:lgpl3+))) + (description + "QuickCheck inspired property-based testing for OCaml. This module +checks invariants (properties of some types) over randomly generated +instances of the type. It provides combinators for generating instances +and printing them.") + (license license:bsd-2))) ; From release 0.7 onward. (define-public ocaml-qtest (package From patchwork Thu Sep 26 07:23:39 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31471 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 25F6E27BBE2; Thu, 26 Sep 2024 08:26:11 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 4325827BBE2 for ; Thu, 26 Sep 2024 08:26:10 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stish-00063q-M5; Thu, 26 Sep 2024 03:25:43 -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 1stisf-00062T-4M for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stisc-0003Wt-Tn for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=yx5i0fxk2y+qUSp44VoX7XQAVSXtlD/6IrekCRBm8s0=; b=W3PC/7S1/Li+O8HSmXihX1MvrG2OGPVHFCfNxeI0BKITuwsAJIyQ9WXi0tR325NQ49mzjVApXG3CU36pYZMsyTX26TyNPKUWr513E28oRTLVO+FEKfFV2zS/lfi1gMDiaIi2SbV0N2+T7EDj6JG10ifwjSFQyomBLWg391uk/dU4lMrSxBerUsXSNj18ys9nas/H3D2O4dMT++BDn56u5YBno3Oa1jBvE2rISRhMQpOhx10tLKE/1LOblC1So56utN/mjFSU2nlfhuOkT1nsz4LOlN4rmaG70ZSCB1bbU8xeJdnItpx6Dlf+wNdiJbQMkIolYKdsL3eIeR6tJCH6CQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit3-0000oL-Lo; Thu, 26 Sep 2024 03:26:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 09/15] gnu: js-of-ocaml-compiler: Use ocaml prefix. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355302488 (code B ref 73466); Thu, 26 Sep 2024 07:26:05 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:30 +0000 Received: from localhost ([127.0.0.1]:49572 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisU-0000di-48 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:30 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisB-0000aL-Ld for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:12 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335471; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=yx5i0fxk2y+qUSp44VoX7XQAVSXtlD/6IrekCRBm8s0=; b=Re9ySUAercpRIJjpFFDsjKLH/kYz0Sd6tie16G6LwoZQKnG4vBAUac75fXavHe8nQe7l37 wUJzeKdiNbcdaODSjIOK/CvNORLExjCwK6+HOvz7Q5LCUZ7TwhnRLkmocBihcyLKfc7DOz VqxyghfRm24McsbZZzOhKxoAqOkT6jFfLzLN3/S6qssLzxR+x0cHXyHw5x4AIs6tLcye99 doSVXWv9QPdA7dSHboeJWo1tVgeNmW5oJ7v4JZqy/mV8d1lH3o5ROKmM8cmAsh2ZAufmGO oh6ckOkffc7JeiGSsZks/8UopDx14zH9YGZokfpfYztolkorPM9jrpVM8CcKJg== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 5edfd1fa (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:31 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:39 +0200 Message-ID: <520e2c2533d2f3975dff100672e458dcf6c3e003.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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 (js-of-ocaml): Rename to ocaml-js-of-ocaml. [arguments]: Change explanation for why tests are disabled. [propagated-inputs]: Remove ocaml-uchar and ocaml-grpahics. Move ocaml-reactivedata, ocaml-lwt, ocaml-tyxml, ocaml-re, and ocaml-uutf to native-inputs. [native-inputs]: Add ocaml-num. [synopsis]: Capitalize s in Javascript. [description]: Wrap JavaScript in @code. (ocaml-ptime, ocaml-ezjsonm): Add ocaml prefix to js-of-ocaml. Change-Id: I1377fb75bb6945214b1363b24c547c3cc3b54a1a --- gnu/packages/ocaml.scm | 56 +++++++++++++++++++++--------------------- 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2b5dd396cc..c84a36640b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4550,7 +4550,7 @@ (define-public ocaml-ptime "true") #:phases (modify-phases %standard-phases (delete 'configure)))) - (propagated-inputs (list ocaml-result js-of-ocaml)) + (propagated-inputs (list ocaml-result ocaml-js-of-ocaml)) (native-inputs (list ocaml-findlib ocamlbuild ocaml-topkg opam-installer)) (home-page "https://erratique.ch/software/ptime") (synopsis "POSIX time for OCaml") @@ -5287,7 +5287,7 @@ (define-public ocaml-ezjsonm (build-system dune-build-system) (arguments `(#:package "ezjsonm")) - (native-inputs (list ocaml-alcotest js-of-ocaml node)) + (native-inputs (list ocaml-alcotest ocaml-js-of-ocaml node)) (propagated-inputs (list ocaml-jsonm ocaml-uutf ocaml-sexplib0 ocaml-hex)) (home-page "https://github.com/mirage/ezjsonm/") (synopsis "Read and write JSON data") @@ -9276,10 +9276,10 @@ (define-public ocaml-cohttp libraries.") (license license:isc))) -(define-public js-of-ocaml +(define-public ocaml-js-of-ocaml (package - (name "js-of-ocaml") - (version "4.1.0") + (name "ocaml-js-of-ocaml") + (version "5.8.2") (source (origin (method git-fetch) @@ -9288,32 +9288,32 @@ (define-public js-of-ocaml (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "14ig69iyc9yzniclfsc6cz9g9zqp96bs66y6dy4rzrm78s81w6i1")))) + (base32 + "0zn00mafaac8dd1nr4pwm7nqhkdbrmzlh0acm7899a5ls9iy3f1c")))) (build-system dune-build-system) - (arguments - ;;tests assume ocaml 4.13 - `(#:tests? #f)) - (propagated-inputs - (list ocaml-ppxlib - ocaml-uchar - ocaml-menhir - ocaml-reactivedata - ocaml-cmdliner - ocaml-lwt - ocaml-tyxml - ocaml-re - ocaml-uutf - ocaml-graphics - ocaml-yojson)) - (native-inputs - ;; for tests - (list node ocaml-ppx-expect ocaml-num)) + ;; Tests fail with filesystem errors and for other unknown reasons. + (arguments '(#:tests? #f)) + (propagated-inputs (list ocaml-cmdliner + ocaml-menhir + ocaml-odoc + ocaml-ppxlib + ocaml-sedlex + ocaml-yojson)) + (native-inputs (list node + ocaml-lwt + ocaml-num + ocaml-ppx-expect + ocaml-re + ocaml-reactivedata + ocaml-tyxml + ocaml-uutf)) (properties `((upstream-name . "js_of_ocaml"))) (home-page "https://ocsigen.org/js_of_ocaml/") - (synopsis "Compiler from OCaml bytecode to Javascript") - (description "Js_of_ocaml is a compiler from OCaml bytecode to JavaScript. -It makes it possible to run pure OCaml programs in JavaScript environment like -browsers and Node.js.") + (synopsis "Compiler from OCaml bytecode to JavaScript") + (description + "Js_of_ocaml is a compiler from OCaml bytecode to @code{JavaScript}. +It makes it possible to run pure OCaml programs in @code{JavaScript} +environments like browsers and Node.js.") (license license:lgpl2.1+))) (define-public ocaml-afl-persistent From patchwork Thu Sep 26 07:23:40 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31473 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 14AD227BBE2; Thu, 26 Sep 2024 08:26:13 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 1148D27BBEA for ; Thu, 26 Sep 2024 08:26:12 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisk-00064s-IS; Thu, 26 Sep 2024 03:25:46 -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 1stisg-00063e-He for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:42 -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 1stisg-0003YA-7j for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:42 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=3PZTVOf06luX8pqDkRpAQUe/v+cn0Mzr8UkU1CA6zSM=; b=TrODyiYaM5Tbt+jQzQ1T9Gx1vlm9RsfPWjUAUoDXpG0MV9N2lvT2kRTAzs8/U35BgWXEerUz+hmWvH4FpBwXxbvA/HNBBl9fSdYkp8hMvUmsbr+nuhTBfY9Vfxg5/WmDr5nlkhnChdzvdtGOGKS1IkjccpEHILQDX1pX2s6hSupNx1sKre5EXSvCprZCHiSv5IlsIbE/LtQvsNa4DdzfJ39uBOJU1CCNYI4/ETN+XMjemcWzQrP6ByMsn3k1jkjzdgmSoc5BdxITZVPzNbjSXkEZWqs09E/pQ3ILM+ETFUv5pm1ab2cSnyyju2nDL0O2FBJ5bXRVxNoWuHCXtZNpAw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit4-0000oV-CW; Thu, 26 Sep 2024 03:26:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 10/15] gnu: Add ocaml-json-data-encoding. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355312505 (code B ref 73466); Thu, 26 Sep 2024 07:26:06 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:31 +0000 Received: from localhost ([127.0.0.1]:49574 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisU-0000e5-Mn for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:31 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisC-0000aL-KQ for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:13 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335471; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=3PZTVOf06luX8pqDkRpAQUe/v+cn0Mzr8UkU1CA6zSM=; b=bkqb/urYZAKfsuiaEUeXwOYNVZ2hxT5Vy1/DTPVt+ocW6TPXRGF81m+8/UjKsMPixiyWhU V9uH+e6Xh6M9fi8gdR4zacWK7Zg8K68nHk2ZmNiSYKcHHCg32oPWkIjlyGtpM1HTCO/4+7 umaWEuT8rp1kLnWdBarhhqvGCjlRSJZgUqCmRvAZpt7K99DkW0Mt5i9ff8//54PA3xEI/W jRKFFZp8dEF0q+/abC6HlnodRaWUwXSaWU1UwI45gZZTdc3CDAGMQXtdvBGRrxisel5uok hVAnU1iHb4HrUwKtB6bCrTZluZCdDIPcWGp3iTjYe0DJot3qMGgfvaF3MN+kJw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id b3ef1df1 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:31 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:40 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-json-data-encoding): Add variable. Change-Id: I1d37ed62753c07dfd6ed0cbc3a5ac80ab0da6fae --- gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c84a36640b..bf723e9055 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4073,6 +4073,41 @@ (define-public ocaml-uunf without a complete in-memory representation.") (license license:isc))) +(define-public ocaml-json-data-encoding + (package + (name "ocaml-json-data-encoding") + (version "1.0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.com/nomadic-labs/data-encoding") + (commit (string-append "v" version)))) + (sha256 + (base32 + "1pwx4dzfb0w7vz4lbm1ppq1lpzd1ss7v4r3ydnx2hdrdgv2ki01a")))) + (build-system dune-build-system) + (propagated-inputs + (list ocaml-uri ocaml-hex ocamlformat ocaml-odoc)) + (inputs (list gmp node)) + (native-inputs (list ocaml-alcotest + ocaml-crowbar + ocaml-ezjsonm + ocaml-js-of-ocaml + ocaml-ppx-expect + ocaml-ppx-hash + ocaml-zarith + ocaml-zarith-stubs-js)) + (home-page "https://gitlab.com/nomadic-labs/json-data-encoding") + (synopsis "Type-safe encoding to and decoding from JSON") + (description + "This package provides type-safe JSON encoding and decoding. The +type of JSON documents handled by this library is directly compatible +with ezjsonm, but converters are provided for yojson users, and an +advanced functorial interface allows you to use any JSON +representation.") + (license license:expat))) + (define-public ocaml-jsonm (package (name "ocaml-jsonm") From patchwork Thu Sep 26 07:23:41 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31481 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 DE78827BBE9; Thu, 26 Sep 2024 08:27: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 82FB527BBE2 for ; Thu, 26 Sep 2024 08:27:42 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stiuZ-0006oq-Nr; Thu, 26 Sep 2024 03:27:40 -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 1stiuW-0006oP-Gs for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:36 -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 1stiuW-0003jL-0c for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=inTQsDZS0hX0PcY6faasCJvoWKK+yOIUnqq9343dMwk=; b=GFaRteMdQkdiTIMoLwNYNAEZwuens7geXwdH3dQYE43xN3ja9qjKyknSbjhSMNlNMskIzyL/eVrOJZhytwOV4UJpQPDZA5sqq1zCTpx90Z1T9AhR7cA2wIgL59lJMayNNWti+82MmPPFBguJZW3/joWXejuLpbRFbqbNXM9B3tiJOZY1jIP8ScKTf2VynAcZT2l7S16OLXRrlBzTZiESEWFuM0mVbOfTlN3Qz1tRGHwHC9f0tZTOpQfW19sS+joBEUXbgowQKnRh10/orFruCXI73fwriHDwHfGsNEOYcB2AvrJAdaY8BCQZ7FKFzZub5g2i/0CAqCxjz8evz9/sdA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stiuw-0000vQ-O8; Thu, 26 Sep 2024 03:28:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 11/15] gnu: Add ocaml-cpu. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273356433438 (code B ref 73466); Thu, 26 Sep 2024 07:28:02 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:27:23 +0000 Received: from localhost ([127.0.0.1]:49724 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stiuI-0000tN-Dw for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:27:22 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisD-0000aL-E6 for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:17 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335473; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=inTQsDZS0hX0PcY6faasCJvoWKK+yOIUnqq9343dMwk=; b=s5k/JBxFSJ/ZlwOCxggXYBVAb0ZHWTZfXwfO+PsSTDqRv+4udyoJ187w+NV4je9+k3UfOm yqd0MTfko1bp7/gUcIJl9JfefrZfGwTcTPDi4feWb0IIIT9QQwsuwWPReTZZwUY1fMu8w/ mpx/4wrkeGCfsHJ/4vlFngmeNW8lx9zh3PjzfEASCtZpc1GuREQcK2Ms7qir7O59QDie9o Cq/KrCgO2XkcW5xCaZwBeafuV7svHhwb1tJyzd0Ik47+dCZaBRsUg9pBv9r8kNu6rU/2fe lU567ambkWanRNcWoUa9uVpKrk/tlwWq36jlsok6yqai7y17J5fWw7qewE65DA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 7aa6503f (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:33 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:41 +0200 Message-ID: <3326e9730d479ebb3a9a26329ea28294eba5f55f.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-cpu): Add variable. Change-Id: Id7e0251a97b03fcd186637f1d6c6be17b11d96f8 --- gnu/packages/ocaml.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bf723e9055..396a546213 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5142,6 +5142,47 @@ (define-public ocaml-cppo @end enumerate") (license license:bsd-3))) +(define-public ocaml-cpu + (package + (name "ocaml-cpu") + (version "2.0.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/UnixJunkie/cpu") + (commit (string-append "v" version)))) + (sha256 + (base32 + "1vir6gh1bhvxgj2fcn69c38yhw3jgk7dyikmw789m5ld2csnyjiv")))) + (build-system ocaml-build-system) + (arguments + (list #:tests? #f ; There is no test target. + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'create-header + (lambda _ + (invoke "autoheader"))) + (add-before 'configure 'fix-/bin/sh + (lambda _ + (substitute* "configure" + (("-/bin/sh") (string-append "-" (which "sh")))))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (libdir + (string-append out "/lib/ocaml/site-lib"))) + (invoke "dune" "install" "--prefix" out "--libdir" + libdir))))))) + (native-inputs (list autoconf dune ocaml)) + (home-page "https://github.com/UnixJunkie/cpu") + (synopsis "Pin current process to given core") + (description + "The module installed is called Cpu in order to not conflict with +the Setcore module that is installed by parmap. This library can also +get the number of CPU cores online.") + (license license:bsd-3))) + (define-public ocaml-seq (package (name "ocaml-seq") From patchwork Thu Sep 26 07:23:42 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31478 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 2975027BBE9; Thu, 26 Sep 2024 08:26:34 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 C52FF27BBEB for ; Thu, 26 Sep 2024 08:26:31 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisj-00064n-Lm; Thu, 26 Sep 2024 03:25:45 -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 1stisf-00062P-29 for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -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 1stise-0003X2-2x for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=APai0RiduIso+U+upmOOfRLaucqD3ieCOdC3DLG4EtE=; b=QAhWYz6va5BOHlpz5SjuISlNF/HdJ5gx1N3i8gMyyofv3qHFgnuBg0W/kCMcDlXGEeMC38UrPVLHzRGdDpXj+Y/x12zG/muhfQOpnmUqup5EtX9mTZzeoNIDMfc/q5shqWZX8RNO0C2Hggsi8LJjdSnsYjtYySEXaBb55amYcdt576HPsY+6uQn49CXboGtkX4Us2qNQe+2LUL3rTUMxfBY3PxUib0N275xDV9UDViY7NfFBtOTU5Xj75zKuaASBO36ddovyLbNeGDox/AtjDy6vvhTmCh+pje2r7ePAlBugEEo7zIb8HmXqndF7bLjsp7sl/zKqdxuZaWdOUr3jiQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit4-0000og-S9; Thu, 26 Sep 2024 03:26:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 12/15] gnu: Add ocaml-ppx-deriving-hash. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355312536 (code B ref 73466); Thu, 26 Sep 2024 07:26:06 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:31 +0000 Received: from localhost ([127.0.0.1]:49576 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisV-0000eM-82 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:31 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:42977 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisE-0000bc-6s for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335474; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=APai0RiduIso+U+upmOOfRLaucqD3ieCOdC3DLG4EtE=; b=cBqzamW5fP9eIVBsPnqDd7Nr1I/zwBU7hHNmrxqLHvN62FgRnnVVwtHPbf77PK72g9KOXS oUQUIX4o9yUGt7eFeWqpRBCJPeoLgIlz+VaFG1yGghwbl5COKa7cWU2u0++vrT6Dmcwi5S T6ZbAo+kg4Ct7YwkufkawxnL6dT2EGE+RHhJ+pywVoX8I87v6UNswA4sbW0rewzRfk8w+f ToEyafR/I9QFxIDIxfnIeWQvMftaBEsCZN5iOV9uoH9VddgfPUGNTtUSEXuCVhMp2tLUOo N+JeCjjAyn7gGId19EAiKaSu8ah1MNrE5ueZiV0pN8waa3rEb4TUPN++XNUD1w== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id bedbf0d7 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:34 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:42 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-deriving-hash): Add variable. Change-Id: Ifecf175d3384d3309f31a27f8d96e8235ab5f14e --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 396a546213..8fdef76e5e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6805,6 +6805,29 @@ (define-public ocaml-ppx-deriving on type definitions, and a set of useful plugins for common tasks.") (license license:expat))) +(define-public ocaml-ppx-deriving-hash + (package + (name "ocaml-ppx-deriving-hash") + (version "0.1.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/sim642/ppx_deriving_hash") + (commit version))) + (sha256 + (base32 + "1a1w1i1vwcbz0982dv2dh9mwqls8g740l2bd470qib3x3aprivip")))) + (build-system dune-build-system) + (propagated-inputs + (list ocaml-ppxlib ocaml-ppx-deriving ocaml-odoc)) + (properties `((upstream-name . "ppx_deriving_hash"))) + (home-page "https://github.com/sim642/ppx_deriving_hash") + (synopsis "Deriver for standard hash functions") + (description + "Deriver for standard hash functions without extra dependencies.") + (license license:expat))) + (define-public ocaml-ppx-derivers (package (name "ocaml-ppx-derivers") From patchwork Thu Sep 26 07:23:43 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31483 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 5008427BBEA; Thu, 26 Sep 2024 08:27: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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 0066F27BBE2 for ; Thu, 26 Sep 2024 08:27:57 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stiuc-0006qs-Bf; Thu, 26 Sep 2024 03:27:42 -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 1stiuY-0006oe-Mw for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:38 -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 1stiuX-0003jW-D1 for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=kXJFp9Cr2w7imHCeaQLAn9iWTs7gBUgEsvLKYrA57sE=; b=aBCUCinJYqKuZROTKIOGDer2KdjDhlhQ24o43U9b27EYQzq1nJHXChWVex3oeisG96QAWrH27ymxU8xgISsqrhKQ1YFis7AYNC8VJfIYocHlGw3pju5wouEYvaH2oN13cGphVJ3YR6qNzIo9s4yjUKd1D94qG7bTf4GB1i75urQs6bobIye/Jl62Ai0lMM5aycAozjpSyxOHMsec7pWtYRdYYCzJYpp4lysHlkkadp0qNO/KSsJ29unQEcSQEoatTyjn1VE2YhvC5eCShbOVpwk2sWN2CJIOUYyJjkneyirlwkImifAh0ue15PRroqpO39ZcTD5wngch6cziGZjqzg==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stiux-0000vk-Ux; Thu, 26 Sep 2024 03:28:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 13/15] gnu: ocaml-tyxml: Update to 4.6.0. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:28:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273356443459 (code B ref 73466); Thu, 26 Sep 2024 07:28:03 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:27:24 +0000 Received: from localhost ([127.0.0.1]:49729 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stiuJ-0000tc-FE for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:27:23 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisI-0000aL-0p for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335474; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=kXJFp9Cr2w7imHCeaQLAn9iWTs7gBUgEsvLKYrA57sE=; b=EoBDlzSSqUVabGw3MN73AtaEFZc+eT1u5nRshRC7/s+p36xMOcONNqFyWiX1uMz+Yn68l/ DWIGmFM+ocpoI3DY7+i5NOqLxMALMp6po0vRx3xymn5YY3TMquVRjGNj2yUZF6pH9uVWQm m+6YsVR58WKPA5W/8mmYjhsI13GAlqQBre/7LdwkcW/29uYE22wHs0BROS0T+9Ez6zdLMc hEgyFM0LieEM7sW1M1BD7wtEoUYE8kEiWeFDs/dzWCCiuBwuaFRYhjAAtK09pnRlwEpRIW y9KHUBZ4gsUNveSn7W2AFMxagPZ3G6iLiEsoKTJR0W/RpXd7ye+TLCqfDXbSAw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id bbe6aac5 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:34 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:43 +0200 Message-ID: <68b3161ad342c5cf28238c5b9e87c3a0bb22dfa0.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-tyxml): Update. [inputs]: Remove ocaml-seq. Move ocaml-re and ocaml-uutf to propagated-inputs. [synopsis]: Do not name package. [description]: Use itemize. Change-Id: Iced8504553844e0e48fea46d575402c3cfbda061 --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++-------------- 1 file changed, 19 insertions(+), 14 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8fdef76e5e..bb21842e43 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8440,7 +8440,7 @@ (define-public ocaml-markup (define-public ocaml-tyxml (package (name "ocaml-tyxml") - (version "4.5.0") + (version "4.6.0") (source (origin (method git-fetch) @@ -8450,22 +8450,27 @@ (define-public ocaml-tyxml (file-name (git-file-name name version)) (sha256 (base32 - "0bh66wknc7sx2r63kscp0hg6h73dkv6qpkx0cdz2qp7p28pg2ixz")))) + "0mabl4q2vcv5b3b6myb49k99q69smyg0bhlm4ilz16n7yhlw0y2l")))) (build-system dune-build-system) - (inputs - (list ocaml-re ocaml-seq ocaml-uutf)) - (native-inputs - (list ocaml-alcotest)) + (propagated-inputs (list ocaml-re ocaml-uutf)) + (native-inputs (list ocaml-alcotest)) (arguments `(#:package "tyxml")) (home-page "https://github.com/ocsigen/tyxml/") - (synopsis "TyXML is a library for building correct HTML and SVG documents") - (description "TyXML provides a set of convenient combinators that uses the -OCaml type system to ensure the validity of the generated documents. TyXML can -be used with any representation of HTML and SVG: the textual one, provided -directly by this package, or DOM trees (@code{js_of_ocaml-tyxml}) virtual DOM -(@code{virtual-dom}) and reactive or replicated trees (@code{eliom}). You can -also create your own representation and use it to instantiate a new set of -combinators.") + (synopsis "Library for building correct HTML and SVG documents") + (description + "TyXML provides a set of convenient combinators that uses the +OCaml type system to ensure the validity of the generated documents. +TyXML can be used with any representation of HTML and SVG: + +@itemize +@item the textual one, provided directly by this package; +@item DOM trees (@code{js_of_ocaml-tyxml}); +@item virtual DOM (@code{virtual-dom}); +@item and reactive or replicated trees (@code{eliom}). +@end itemize + +You can also create your own representation and use it to instantiate a +new set of combinators.") (license license:lgpl2.1))) (define-public ocaml-bisect-ppx From patchwork Thu Sep 26 07:23:44 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31474 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 0D64B27BBE2; Thu, 26 Sep 2024 08:26:12 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 B3B6827BBEA for ; Thu, 26 Sep 2024 08:26:10 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stisj-00064o-Lw; Thu, 26 Sep 2024 03:25:45 -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 1stisi-00063v-9H for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:44 -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 1stisi-0003YK-0G for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:44 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=betbti1JM7U6KAgJtY+LKLTyqJpEAUyFYYFL3eGVoYM=; b=QEHdwWyr9BOCUOmLDNj4hniKXHpTccPO9Wjf7vKsUHl8fkvd8698n0yA6PdYKfyHuFOcxsHPBF81S52QmZuZGivAe0pC2fXt0nBkT0H3aUFp2abgWDzlCIxfnrT329PNgu9gcEuvt2rXOQ1uRUlDFv5ip4ku4GD3I6hRqSDCxzoHn6WZ28+ZISMllS5nWkQkIUgjULPaZrqxVNn98G9USVrE4Q7tgzKYsXx+7W206J5gBYX9xkBzpY0TLk3OybkDr0MPtW22OPqVBFqdn1euahwqTOcx3H7QThmjbRjo8sDpdRn1TaH0z+B0BXsOGHInswE6qCBQB1DrOSV/IJ8KXQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit5-0000op-EA; Thu, 26 Sep 2024 03:26:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 14/15] gnu: Add ocaml-goblint-cil. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355322585 (code B ref 73466); Thu, 26 Sep 2024 07:26:07 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:32 +0000 Received: from localhost ([127.0.0.1]:49578 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisV-0000eq-L8 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:32 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:42977 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisJ-0000bc-3I for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335474; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=betbti1JM7U6KAgJtY+LKLTyqJpEAUyFYYFL3eGVoYM=; b=GFPLO/7LHg4ZnxMIgMLyqiBtx8R+gsvMiPR2RNsMqMa3iU7AnuPesEE0EUpTiDXiyYYEF8 wUb+Xj3DWy0dtEohAzhsim8NNKU2mOFzMURtrT9NUtz2gcBoXTqqKP0qWUYC7PbgW2auqh 2LLTQMm6MwFDN065LGGOTH51/KnxBn9vkxJeHYULiWm1ktRplVsWiFbHu2du5e02c9GG3E I1LVhajHboiBJyvX51nuMEOPtOk09OebPomfUSaEiRvOsZ3O/ZaJowRBDVZjzPszoqr4j4 +R++hT+DRO6PQdFxZ4TDZNzLw3xFhXSZ+a3OKQmhfh2Yn8hVeC1PO0y5XZWa1w== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 4e9014b5 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:34 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:44 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-goblint-cil): Add variable. Change-Id: Ifa69dddd17167fd9768a5e098934a453745a4028 --- gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bb21842e43..e15e70646e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -902,6 +902,48 @@ (define-public ocaml-down @end example") (license license:isc))) +(define-public ocaml-goblint-cil + (package + (name "ocaml-goblint-cil") + (version "2.0.4") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/goblint/cil") + (commit version))) + (sha256 + (base32 + "02jng99az6f265j9cczrbyf72wxkgh7fz44882b6n3ib6ds8pzs7")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-zarith + hevea + dune-configurator + ocaml-odoc + ocaml-stdlib-shims + ocaml-ppx-deriving-yojson + ocaml-yojson + perl + ocaml-cppo + gmp + gcc)) + (native-inputs (list ocaml-findlib)) + (home-page "https://github.com/goblint/cil") + (synopsis "Fork of cil for Goblint") + (description + "This is a fork of the cil package for goblint. Changes include: + +@itemize +@item Support for C99 and C11; +@item Compatibility with modern OCaml versions; +@item Use Zarith instead of Num and use that for integer constants; +@item Improved locations with columns and spans; +@item Removal of unmaintained extensions and MSVC support; +@item Use dune instead of make and ocamlbuild; +@item Many bug fixes. +@end itemize") + (license license:bsd-3))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") From patchwork Thu Sep 26 07:23:45 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Herman Rimm X-Patchwork-Id: 31482 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 0CF7327BBEA; Thu, 26 Sep 2024 08:27:53 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,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 B180027BBE2 for ; Thu, 26 Sep 2024 08:27:52 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stiuh-0006sm-9Y; Thu, 26 Sep 2024 03:27:47 -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 1stiuZ-0006of-1h for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:39 -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 1stiuY-0003jd-GV for guix-patches@gnu.org; Thu, 26 Sep 2024 03:27:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=n1WZ1oDv8YL672Q/SVm0djoU5d06tGkjaNBCtHvKwBg=; b=I3jbvuRjj9vX0lrYiOMo6wvpyTiIal/q0vPcE985UQxTq9HcAjzVbA/Cuw4f9fWCrQYRXVBgSsezCDiML6O/KDCOA1Mj15XqfV3zyST9ceCKYGMFF6QA7Ja89gM6gzLZderqb+7ecIam6kNVDZedqPAKk5j9yiuZxy6lJgy+9AZzV1slmuZ3GtvHV4n/SatM2bpcGSyJq/TGPClrWB+RqE6454nYCuA8inNg/TP1oWz40PIVLj51JDEG6JVGxbT6T7+ajy7piz8oPybu3bH1IS8HsePDz7oCYG353uXhChpAXHcF4NO78H9YHfYU6t35qfKbOTDYGJqi4uw+ZN4jGw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stiux-0000vb-CT; Thu, 26 Sep 2024 03:28:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 15/15] gnu: Add ocaml-goblint. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:28:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273356433451 (code B ref 73466); Thu, 26 Sep 2024 07:28:03 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:27:23 +0000 Received: from localhost ([127.0.0.1]:49727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stiuI-0000tV-VN for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:27:23 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisK-0000aL-7n for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:21 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335475; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=n1WZ1oDv8YL672Q/SVm0djoU5d06tGkjaNBCtHvKwBg=; b=jH95vZi0tCEhPCiggPLLx7C/NmwRIhds3cMva6My4pWndTMmnOite4E5kSKUuwvEjxXD0k TzWpFLCJi4IVfYTTwWezE3cuyL7zVOQdE3BJjKeEKcZz4jscXnaGlijgVkxh0wQaZQ2W3G bdkKzdWuo5Jr/vUCBDzfbe6Dn8aSGoDEb7LSGo0dWuUXLVhUPxCikalI1oCTIeStJzNOiR W2r0cgBQT9f5lknVuRTz8mbVWuskxRncesnQGMSOJcPSCB5C72vFziWd/Mh8AQdA+ILz1D HppnzKktPtT0ZzcOEjBlm3HRfyPW7GSMm+EvVZu2w0tvJDRvFANb5KCsth2m+A== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id d001151a (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:35 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:45 +0200 Message-ID: <1e7b99df7ba8c32c21f9de8467ea001372e2270a.1727335349.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches X-Patchwork-Original-From: Herman Rimm via Guix-patches via From: Herman Rimm 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-goblint): Add variable. Change-Id: Ie8cbd2cedc31fc5965783e1e24aa4b014c804818 --- gnu/packages/ocaml.scm | 47 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e15e70646e..ece64bb909 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -82,6 +82,7 @@ (define-module (gnu packages ocaml) #:use-module (gnu packages python) #:use-module (gnu packages python-xyz) #:use-module (gnu packages rsync) + #:use-module (gnu packages ruby) #:use-module (gnu packages sdl) #:use-module (gnu packages sqlite) #:use-module (gnu packages tex) @@ -902,6 +903,52 @@ (define-public ocaml-down @end example") (license license:isc))) +(define-public ocaml-goblint + (package + (name "ocaml-goblint") + (version "2.4.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/goblint/analyzer") + (commit (string-append "v" version)))) + (sha256 + (base32 + "1a2a6xyvda183r0a4ck56bh0nv8ymf7wkg1bjz031bqf9izyrf78")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-goblint-cil + ocaml-batteries + ocaml-zarith + ocaml-yojson + ocaml-qcheck + ocaml-ppx-deriving + ocaml-ppx-deriving-hash + ocaml-ppx-deriving-yojson + ocaml-odoc + ocaml-fpath + dune-site + ocaml-dune-build-info + ocaml-json-data-encoding + ocaml-jsonrpc + ocaml-sha + ocaml-fileutils + ocaml-cpu + ocaml-arg-complete + ocaml-yaml + ocaml-uuidm + ocaml-catapult + gmp + gcc)) + (native-inputs + (list ocaml-ounit2 ocaml-qcheck ruby ocaml-benchmark)) + (home-page "https://goblint.in.tum.de") + (synopsis "Static analysis framework for C") + (description + "This package provides a static analyzer for multi-threaded C +programs, specializing in finding concurrency bugs.") + (license license:expat))) + (define-public ocaml-goblint-cil (package (name "ocaml-goblint-cil")