From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 0/4] gnu: Add coccinelle. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 May 2023 15:52:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.168459792019951 (code B ref -1); Sat, 20 May 2023 15:52:01 +0000 Received: (at submit) by debbugs.gnu.org; 20 May 2023 15:52:00 +0000 Received: from localhost ([127.0.0.1]:59169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0Os9-0005Bg-DX for submit@debbugs.gnu.org; Sat, 20 May 2023 11:52:00 -0400 Received: from lists.gnu.org ([209.51.188.17]:58680) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0M11-0005wF-FK for submit@debbugs.gnu.org; Sat, 20 May 2023 08:48:56 -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 1q0M10-00018e-Qo for guix-patches@gnu.org; Sat, 20 May 2023 08:48:54 -0400 Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q0M0p-0006GW-EF for guix-patches@gnu.org; Sat, 20 May 2023 08:48:53 -0400 Received: by mail-wr1-x42d.google.com with SMTP id ffacd0b85a97d-30796c0cbcaso4218840f8f.1 for ; Sat, 20 May 2023 05:48:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684586920; x=1687178920; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=bZRhMj+szxImv+5hNrOCkjfVgxMMrrffZk8EkvVZ0EI=; b=IRPZASExDuK/bRMYVmtNTYsNJxFXNSyGS4hJW4g1o4sAwRF1nrKcSVmT/lhgYjBW5Q OWOxo0OXG971wRIL88u6eJVXnv4ZUVQFbQbQ2l5UcDWxSwsZ4dXo/O6zgljEC2GtK78S FwJeOnwuVFkoqYJrMmay+ulKsSBc1ZPTdcM6EjGUD/d/l9Vt6KsLLdmX2ZvY26ezEbkW aeO7qz+qPSnRJAoua1S0zAjxqbf8Xtlzf/23AWj+xjjBo3T1Q/QcoFwkbQbZmb/iWU11 7Gz5Ua9J7Z6FsMgTZwGYecR50CLL3t/Y/sWD/jOnqJJg1H4vJ2jtRr5cGsXCaN2cKpdH sDow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684586920; x=1687178920; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=bZRhMj+szxImv+5hNrOCkjfVgxMMrrffZk8EkvVZ0EI=; b=bMITfNC8H3aOoAo66O9vYYx9s8JWwBa1gfUaETBDANSamDeJuitvATHAIVbmhCS6sZ fnPwsHvFso2tkXzlmScHCFdSj+s2DUYt612JzWOlAjZqf7lDUZLzt6Xj5Wwi4iICofS/ IAaY66GVoMPtSOaGyn3A37Zu/iMotmeB/rTjskxVhkFNNeQ4Imh63p3iwrMolCS0rpGO WUn4JxH9MwpFmd17eLPsqWKRfpox2cF63cm8GdlO5E5rOnmdwSBdo5qevF+8MBB0qlN1 WPGlt2lPVlgLu4D2hJMmloJchVbk00IgWPrdHQpXtiEq5lJ70lFPwnvxHme22f4hl/OM akDA== X-Gm-Message-State: AC+VfDwJSqDp+jenVFXUySYUP3KSOy27QJHJMiOHq8j9k7YjclAfG2Mo yE9tH2T0I1qRI+pAkW1hfLYodf+AYFWZeZwwr4f6TA== X-Google-Smtp-Source: ACHHUZ65PvLvGtjukSL/NdFmPP5Kz8G/RtL8SYmUT6baaITZg5f1ealXLXZ0MJkyrlxbGuhcIpg2Lg== X-Received: by 2002:adf:ff8b:0:b0:306:459b:f575 with SMTP id j11-20020adfff8b000000b00306459bf575mr4422956wrr.12.1684586920688; Sat, 20 May 2023 05:48:40 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id c5-20020adfe705000000b002c71b4d476asm1868360wrm.106.2023.05.20.05.48.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 20 May 2023 05:48:40 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Sat, 20 May 2023 14:48:38 +0200 Message-Id: <20230520124838.35588-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::42d; envelope-from=jean@foundationdevices.com; helo=mail-wr1-x42d.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Mailman-Approved-At: Sat, 20 May 2023 11:51:56 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Package definition for coccinelle semantic patch tool. * ocaml-pyml is using a git commit as there's no recent version released yet that wokrs with Python ^3.10. * I thought of disabling the ocaml-parmap tests as these take a while and possibly could take a bit of CPU time on CI, so in reality it's not that long. Could send a revised patch to disable it though, however, feel free to disable the tests if necessary. Jean-Pierre De Jesus DIAZ (4): gnu: Add ocaml-parmap. gnu: Add ocaml-stdcompat. gnu: Add ocaml-pyml. gnu: Add coccinelle. gnu/packages/ocaml.scm | 117 ++++++++++++++++++++++++++++++++++++ gnu/packages/patchutils.scm | 56 +++++++++++++++++ 2 files changed, 173 insertions(+) base-commit: 5b700945fb0b33eec410de8979cae2fbf0d4f118 -- 2.34.1 From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 1/4] gnu: Add ocaml-parmap. References: <20230520124838.35588-1-jean@foundationdevices.com> In-Reply-To: <20230520124838.35588-1-jean@foundationdevices.com> Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 21 May 2023 11:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 63609-submit@debbugs.gnu.org id=B63609.16846689016960 (code B ref 63609); Sun, 21 May 2023 11:35:02 +0000 Received: (at 63609) by debbugs.gnu.org; 21 May 2023 11:35:01 +0000 Received: from localhost ([127.0.0.1]:60138 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hL3-0001oB-3Y for submit@debbugs.gnu.org; Sun, 21 May 2023 07:35:01 -0400 Received: from mail-wm1-f49.google.com ([209.85.128.49]:57361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hL0-0001nt-Sf for 63609@debbugs.gnu.org; Sun, 21 May 2023 07:34:59 -0400 Received: by mail-wm1-f49.google.com with SMTP id 5b1f17b1804b1-3f42769a0c1so50085415e9.2 for <63609@debbugs.gnu.org>; Sun, 21 May 2023 04:34:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684668893; x=1687260893; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=yIpD4plby8wifcK+deFdtdDW0nGBJMLl47UCTqGo7zI=; b=fG5NfyHeFohZibulrkUax67YCuJ+jjH00/1Z3UM8DP9SazN82U44mZdLVsfW13h2Oq UFQLnskvwpYFhtqT1OkBHYuuL9FPoKoMRJ6D2iDXIijJyh0uFoI1yXwvSjAnOSlUQvt9 J2qUKTDqVMt6M5Gb3I+N0O1fObiohvsJKjTmM+bUo9b/OQKZzaHkcOEFkpSpcZqrQT6t 1/8G54A5K8BZo5u932ALENIDTwMErk6YUNmiZdQi6XvQeLBltz7Hf4V+Ch/ecjd7+Chm nNua6j9bOlr1jrBHPi96lX4KzmpjEjbGoVcHkYA7mni27VheqmUuCKWdJi5letk+zSuW U3TA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684668893; x=1687260893; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=yIpD4plby8wifcK+deFdtdDW0nGBJMLl47UCTqGo7zI=; b=Z/q1qTsliiJjVUCyBvtGo2vcoCHwKTs+vxQrOBPYtRi06FKHYgXm3NiI58cKh4dGDt 4e0z2pDArw/L4VgHs/nT9EKLNt6iZL4zjFNgh2Hl+GugsOybA0+m90skYdDIGLmv9YC4 UEZw2+ACgguaAx13FwaToHGJMLmmzckekBHZgVgoMzD+4gSneL7EAjcO2GYKVPz8SKip ABW8wM8pN/l1oOw0m8rZ693O7NjMlsjVYDSEwPVrpU16jx5keB/MEwT3AO5rUcGNnsbR RwXuZoP0AnW6Sa1M+jzeOOnnzcCMsURR8dCeM5x1iZnJwOxXp4o/jSgGFI4QMnkcgWlV nTfA== X-Gm-Message-State: AC+VfDz794tisEg5ruR/jxtzG+mmzD6LSa1lMreAREg5N6VSAo4qxikm WoD68zf7JHwxH/d2yMPNABUYYHjlxuMVr63Jk6zUkA== X-Google-Smtp-Source: ACHHUZ7clqqDKeGJDVilyafziNny1hJtvxc2mHu04dXYc9/v31Ag0xQFpviplsHi9gBep/YXs1K7RQ== X-Received: by 2002:a1c:7505:0:b0:3f4:20bd:ba46 with SMTP id o5-20020a1c7505000000b003f420bdba46mr5213811wmc.5.1684668892655; Sun, 21 May 2023 04:34:52 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id l20-20020a7bc454000000b003f42e008c8dsm8153124wmi.44.2023.05.21.04.34.51 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 21 May 2023 04:34:52 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Sun, 21 May 2023 13:34:14 +0200 Message-Id: <20230521113417.76939-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-parmap): New variable. Signed-off-by: Jean-Pierre De Jesus DIAZ --- gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f0b8f9e912..08036ba401 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -28,6 +28,7 @@ ;;; Copyright © 2022 John Kehayias ;;; Copyright © 2022 Garek Dyszel ;;; Copyright © 2023 Csepp +;;; Copyright © 2023 Foundation Devices, Inc. ;;; ;;; This file is part of GNU Guix. ;;; @@ -2698,6 +2699,42 @@ (define-public ocaml-ppx-tools syntactic tools.") (license license:expat))) +(define-public ocaml-parmap + (package + (name "ocaml-parmap") + (version "1.2.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/rdicosmo/parmap") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0x5gnfap9f7kmgh8j725vxlbkvlplwzbpn8jdx2ywfa3dd6bn6xl")))) + (build-system dune-build-system) + (propagated-inputs + (list ocaml-odoc)) + (home-page "https://github.com/rdicosmo/parmap") + (synopsis "Parallel map and fold primtives for OCaml") + (description + "Library to perform parallel fold or map taking advantage of multiple +core architectures for OCaml programs. Drop-in replacement for these +@code{List} operations are provided: + +@itemize +@item @code{List.map} -> @code{parmap} +@item @code{List.map} -> @code{parfold} +@item @code{List.mapfold} -> @code{parmapfold} +@end itemize + +Also it allows specifying the number of cores to use with the optional +parameter @code{ncores}.") + (license (list license:lgpl2.0 + (license:fsdg-compatible "file://LICENSE" + "See LICENSE file for details"))))) + (define-public ocaml-react (package (name "ocaml-react") -- 2.34.1 From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 2/4] gnu: Add ocaml-stdcompat. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 21 May 2023 11:36:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 63609-submit@debbugs.gnu.org id=B63609.16846689197026 (code B ref 63609); Sun, 21 May 2023 11:36:01 +0000 Received: (at 63609) by debbugs.gnu.org; 21 May 2023 11:35:19 +0000 Received: from localhost ([127.0.0.1]:60142 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLK-0001pF-GQ for submit@debbugs.gnu.org; Sun, 21 May 2023 07:35:19 -0400 Received: from mail-wm1-f50.google.com ([209.85.128.50]:51283) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLI-0001ox-Ci for 63609@debbugs.gnu.org; Sun, 21 May 2023 07:35:16 -0400 Received: by mail-wm1-f50.google.com with SMTP id 5b1f17b1804b1-3f4ad71b00eso29954685e9.2 for <63609@debbugs.gnu.org>; Sun, 21 May 2023 04:35:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684668910; x=1687260910; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=EpvFrOMssMU9rdA2LTMeJ5oa+9utVbe5vxFkQ1rj+yw=; b=NN6DJL5Al+CikK0eXJjWRTB47vPzxE7vz+oH7JTd0/bTd2rUseYksCgdS2TW3wwBwE HWZ0gaRurQerD/2ocLap1OxlJlsVLgXQXHmnLSC31u9PRrtJJ0kCs2sUruW7+den3Kbk UQ153sWTatmKdkVcDRkj8yle9UgUUA+/RI+HkztIuwi74le36TxadnSlRM/eONjveeeD wN8gM4uWC+WcEl7XllSDgVrDOA7DTphpcD0hr4wUPcLkQbNcc7I/vL2NTqT1c+/p+Q5H SrA4ALgueIQrkubL1u1RvEV8Htjf4kFfUuDOvluijQhQAvFeTYDuU2T4z94CcEb/6eD6 bQgw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684668910; x=1687260910; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=EpvFrOMssMU9rdA2LTMeJ5oa+9utVbe5vxFkQ1rj+yw=; b=jmYm6MFiGPdIBCepOIMd/n74Y74NxQY72rt34cXCgwamB+VwSHOA4b50wBSbfh50rd QjMUw/w/Hg/RfhYWd05h1yHfC6LN4RhOWk280RzVkrqdtW/0naHPoEol4SB2hb1hX8qq LwCWtV81acW4XS+/s5zM3yYJvmfypQ+l7+6r4jicMFGFR/kpNI2LR1aYGa0e587PtDYL tY7cipsET8VTxOVAabQAYNKgAcXOHL2NVDmNxyFwGi1c3LcsEZu3bxI3S0AQAN7WmpxS obAnIh0dvsbwiHQEaeR6WER5/JUXT8q6+YoeFLgPUYplZARsz4Mz5j51ev9t8s9f35nN fk9w== X-Gm-Message-State: AC+VfDyov9qCy28T1TFB7hZOzAcIsAuINq8KTxHYwhOVf5kks+Vn8MR6 JCmNe3pN/xAFF5WX9s2H5ap1Pd087gL8+qvH2SIDEw== X-Google-Smtp-Source: ACHHUZ7K3NS/+l36qG6eYbtbR7+yXqWerCkiUy/d+LdV+0WlVcgVW6RjvnnKi09Sn0r4ozn8ugkCDQ== X-Received: by 2002:a7b:ce15:0:b0:3f5:ff24:27de with SMTP id m21-20020a7bce15000000b003f5ff2427demr2255812wmc.32.1684668910489; Sun, 21 May 2023 04:35:10 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id l20-20020a7bc454000000b003f42e008c8dsm8153124wmi.44.2023.05.21.04.35.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 21 May 2023 04:35:10 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Sun, 21 May 2023 13:34:15 +0200 Message-Id: <20230521113417.76939-2-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20230521113417.76939-1-jean@foundationdevices.com> References: <20230521113417.76939-1-jean@foundationdevices.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-stdcompat): New variable. Signed-off-by: Jean-Pierre De Jesus DIAZ --- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 08036ba401..0656abb610 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4606,6 +4606,52 @@ (define-public ocaml-expect or a timeout.") (license license:lgpl2.1+))) ; with the OCaml static compilation exception +(define-public ocaml-stdcompat + (package + (name "ocaml-stdcompat") + (version "19") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/thierry-martinez/stdcompat") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (modules '((guix build utils))) + (snippet + #~(for-each delete-file '("Makefile.in" "configure"))) + (sha256 + (base32 + "0r9qcfjkn8634lzxp5bkagzwsi3vmg0hb6vq4g1p1515rys00h1b")))) + (build-system dune-build-system) + (arguments + (list #:imported-modules `((guix build gnu-build-system) + ,@%dune-build-system-modules) + #:modules '((guix build dune-build-system) + ((guix build gnu-build-system) #:prefix gnu:) + (guix build utils)) + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'bootstrap + (assoc-ref gnu:%standard-phases 'bootstrap)) + (add-before 'build 'prepare-build + (lambda _ + (let ((bash (which "bash"))) + (setenv "CONFIG_SHELL" bash) + (setenv "SHELL" bash))))))) + (native-inputs + (list autoconf + automake + ocaml + ocaml-findlib)) + (home-page "https://github.com/thierry-martinez/stdcompat") + (synopsis "Compatibility module for OCaml standard library") + (description + "Compatibility module for OCaml standard library allowing programs to use +some recent additions to the standard library while preserving the ability to +be compiled on former versions of OCaml.") + (license license:bsd-2))) + (define-public ocaml-stdlib-shims (package (name "ocaml-stdlib-shims") -- 2.34.1 From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 3/4] gnu: Add ocaml-pyml. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 21 May 2023 11:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 63609-submit@debbugs.gnu.org id=B63609.16846689217048 (code B ref 63609); Sun, 21 May 2023 11:36:02 +0000 Received: (at 63609) by debbugs.gnu.org; 21 May 2023 11:35:21 +0000 Received: from localhost ([127.0.0.1]:60146 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLN-0001pW-3L for submit@debbugs.gnu.org; Sun, 21 May 2023 07:35:21 -0400 Received: from mail-wr1-f52.google.com ([209.85.221.52]:54779) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLL-0001p1-Ea for 63609@debbugs.gnu.org; Sun, 21 May 2023 07:35:20 -0400 Received: by mail-wr1-f52.google.com with SMTP id ffacd0b85a97d-3093eb8cd1fso3004149f8f.1 for <63609@debbugs.gnu.org>; Sun, 21 May 2023 04:35:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684668913; x=1687260913; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=54nCOIa2/t8gyYZhbaLZLGTdn5lyOOY58FMDAcoduAM=; b=NLAD+YxU8Vx7NScDGbrcKg6quBnhCL4kCkxJSPh3alukREM+QnFV1jnpHMq0yNI+SA 9cG2niQm699NoZQPxVgaaLbXJjxXI20VEMsYCZAd5K27h6UACnGUQydnIm/DxyS7kjjI itJzA6t+duN7XJtha/qPpwzgTptWvcer4pHbsD6XF434MsWlxJ6ZhWl1X1FS011+8OId EfzajkXO0fPu68BQECNnjUiJhXMoFfYLjzt5yIt4t159Tzf5ODkOwIYne/wH5prZ4UtQ 3rJMrLFgVqWbYOHu2/Qdl2GlfitRDBipcEtXM4umrNBpmwqfHXqmGVdrpAIoEFMuSo/q mw7w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684668913; x=1687260913; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=54nCOIa2/t8gyYZhbaLZLGTdn5lyOOY58FMDAcoduAM=; b=Udf7YEbW+5qp/vWaU36LAsa8X0p0GIQ/WQN9sYBbWlrRezjB6RDoEXxubNkuJf7TE4 hOBm4rBk+VIE8vXbFAaEZ42j4nXjO9oSYvPaFNy5Dvv1cXVrVokVMhLVGfhWu/gHmxa5 RfaCFnPX5GxdvDr0XzyReBR2OAq3dhiWVoa298JCbzSE9gQznpbWey2BcM6IHd9xY8wX 7HsD3Le1i5bxHAEbhtsiWBvh5DGjSnhBcZkbtJ2GyoozHIw4LdflC0oLKjS+YKgTjtYt d26bbNN5BXkmVHwwLRt2O5OYlg9gmz+Zodbu/RPIkdrUJPVtg39ZNPm3VRPoP8BXQntk NsSg== X-Gm-Message-State: AC+VfDyXtGOL6jz0oad/Wcz/W0AJeYJ+ZanpzbNg1ksMyr5LoR8ZRnRl wwwFL+Az5UWBA/sKGCx1RRC01xh+C5FbA87/iCVO3A== X-Google-Smtp-Source: ACHHUZ5mafgY8EIw9M2OQgq28459X65mTzvQc7R//XcKSRQN9vjd+QRLRznvqUkW3fPXeJ8qOU2gDw== X-Received: by 2002:adf:db4c:0:b0:306:3bf0:f1ec with SMTP id f12-20020adfdb4c000000b003063bf0f1ecmr5681965wrj.7.1684668913583; Sun, 21 May 2023 04:35:13 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id l20-20020a7bc454000000b003f42e008c8dsm8153124wmi.44.2023.05.21.04.35.13 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 21 May 2023 04:35:13 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Sun, 21 May 2023 13:34:16 +0200 Message-Id: <20230521113417.76939-3-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20230521113417.76939-1-jean@foundationdevices.com> References: <20230521113417.76939-1-jean@foundationdevices.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.ml (ocaml-pyml): New variable. Signed-off-by: Jean-Pierre De Jesus DIAZ --- gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0656abb610..ab0aa0574a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2735,6 +2735,40 @@ (define-public ocaml-parmap (license:fsdg-compatible "file://LICENSE" "See LICENSE file for details"))))) +(define-public ocaml-pyml + ;; NOTE: Using commit from master branch as 20220905 does not support + ;; Python 3.10. + (let ((revision "0") + (commit "e33f4c49cc97e7bc6f8e5faaa64cce994470642e")) + (package + (name "ocaml-pyml") + (version (git-version "20220905" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/thierry-martinez/pyml") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1v421i5cvj8mbgrg5cs78bz1yzdprm9r5r41niiy20d3j7j8jx9k")))) + (build-system dune-build-system) + (propagated-inputs + (list ocaml-stdcompat + python + python-numpy)) + (home-page "https://github.com/thierry-martinez/pyml") + (synopsis "Python bindings for OCaml") + (description "Library that allows OCaml programs to interact with Python +modules and objects. The library also provides low-level bindings to the +Python C API. + +This library is an alternative to @code{pycaml} which is no longer +maintained. The @code{Pycaml} module provides a signature close to +@code{pycaml}, to ease migration of code to this library.") + (license license:bsd-2)))) + (define-public ocaml-react (package (name "ocaml-react") -- 2.34.1 From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 4/4] gnu: Add coccinelle. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 21 May 2023 11:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 63609-submit@debbugs.gnu.org id=B63609.16846689257058 (code B ref 63609); Sun, 21 May 2023 11:36:02 +0000 Received: (at 63609) by debbugs.gnu.org; 21 May 2023 11:35:25 +0000 Received: from localhost ([127.0.0.1]:60148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLQ-0001pl-F0 for submit@debbugs.gnu.org; Sun, 21 May 2023 07:35:24 -0400 Received: from mail-wr1-f52.google.com ([209.85.221.52]:46388) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0hLM-0001p4-G1 for 63609@debbugs.gnu.org; Sun, 21 May 2023 07:35:21 -0400 Received: by mail-wr1-f52.google.com with SMTP id ffacd0b85a97d-30a4ebbda56so930335f8f.1 for <63609@debbugs.gnu.org>; Sun, 21 May 2023 04:35:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684668915; x=1687260915; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=2LflWSxrqtVMTyIxIxdKJ3Zoym4KHlI5ZqLVMu37ouQ=; b=Ghke3DRydM0MoQcQwr2zCojqKGGNhH7GDSHqPnO/yiPz+9bKpU5Y6mK6rjV7H12fvL hkhKr/2DdtZ0iAsgxFAShqAtWmlthSS1l8rFpDM7Uyz/ebv/t+rC3jPBQGhOW+miUl/S s9WtLWnnFHgwgYLWLhw3C9+85aIs+5sM1ozMvMT+6H4bNBoNL51pnX2q8LCBe0II4hR0 0nCwIi76h/bVS6VsvWRMNjdfa+grdgazZHDhO4ZDU3rYAZUo6YJNO1S2pAC+kn3Ckd6K TR3x3eg+ePiu+7VD4HE60g1qTHWf6mfxtkpKIBeFX/Ulm/WWfQv7wyk8e+WFWoyvUO+N i+DA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684668915; x=1687260915; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=2LflWSxrqtVMTyIxIxdKJ3Zoym4KHlI5ZqLVMu37ouQ=; b=T5D0yX+0GMlkv8WFszd0PM9BYMUv0QKoDbQpn1sg0VuLsQarX4R2xhcbZtPLVflTiB pqH8+Yit5DWts4nyKPm+algct15lUpsJnk6oc8tHXgS5TEYrRRURHDSssEXTTJpvSs+r SFUBDVK/RJMmJuGaqjX1sC1ftOzaZC8aTjT+CxXHCfbNvWZlVJaSTSgNSK9kUefsfrqK xR+WGXw8R7XOa5zwspd/gqlBbJp2Ih5/tTZfGH3eVXxF3A4u3LllbA9ALofAO1yTPhvG mHuyI/HKj7MhKSacWiSGuOt5QiPyQWeSGIEC258TIgxfmFDezLxdHFP3okM/yF8Jz/zf qMfA== X-Gm-Message-State: AC+VfDwoPc+aZyEwiWRP1jZ8QPN7TejdCuGSqLVgCHrIkI8Q49BVBEWx Od2+lyqmo0tBjfEGdIZl6tq/1UrFFn6tyTDq76RVjA== X-Google-Smtp-Source: ACHHUZ5+G3qulnMFbrCjCjG+CU9h67PZCVxOb0tqZC+ihU0vWMZt7mDDmA8x0emtUdebKPIjNhtMWg== X-Received: by 2002:adf:f306:0:b0:306:2d45:a8e0 with SMTP id i6-20020adff306000000b003062d45a8e0mr5378841wro.15.1684668914828; Sun, 21 May 2023 04:35:14 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id l20-20020a7bc454000000b003f42e008c8dsm8153124wmi.44.2023.05.21.04.35.14 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 21 May 2023 04:35:14 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ Date: Sun, 21 May 2023 13:34:17 +0200 Message-Id: <20230521113417.76939-4-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20230521113417.76939-1-jean@foundationdevices.com> References: <20230521113417.76939-1-jean@foundationdevices.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/patchutils.scm (coccinelle): New variable. Signed-off-by: Jean-Pierre De Jesus DIAZ --- gnu/packages/patchutils.scm | 56 +++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) diff --git a/gnu/packages/patchutils.scm b/gnu/packages/patchutils.scm index 1527590af5..2b30ee1b9d 100644 --- a/gnu/packages/patchutils.scm +++ b/gnu/packages/patchutils.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2022 jgart ;;; Copyright © 2023 Andy Tai ;;; Copyright © 2023 Efraim Flashner +;;; Copyright © 2023 Foundation Devices, Inc. ;;; ;;; This file is part of GNU Guix. ;;; @@ -33,8 +34,10 @@ (define-module (gnu packages patchutils) #:use-module (guix build-system gnu) #:use-module (guix build-system glib-or-gtk) #:use-module (guix build-system meson) + #:use-module (guix build-system ocaml) #:use-module (guix build-system python) #:use-module (gnu packages) + #:use-module (gnu packages autotools) #:use-module (gnu packages ed) #:use-module (gnu packages base) #:use-module (gnu packages bash) @@ -53,6 +56,7 @@ (define-module (gnu packages patchutils) #:use-module (gnu packages less) #:use-module (gnu packages mail) #:use-module (gnu packages ncurses) + #:use-module (gnu packages ocaml) #:use-module (gnu packages package-management) #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) @@ -62,6 +66,58 @@ (define-module (gnu packages patchutils) #:use-module (gnu packages version-control) #:use-module (gnu packages xml)) +(define-public coccinelle + (let ((revision "0") + (commit "6608e45f85a10c57a3c910154cf049a5df4d98e4")) + (package + (name "coccinelle") + (version (git-version "1.1.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/coccinelle/coccinelle") + (commit commit))) + (file-name (git-file-name name version)) + (modules '((guix build utils))) + (snippet + #~(delete-file-recursively "bundles")) + (sha256 + (base32 + "08nycmjyckqmqjpi78dcqdbmjq1xp18qdc6023dl90gdi6hmxz9l")))) + (build-system gnu-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-before 'bootstrap 'prepare-version.sh + (lambda _ + (setenv "MAKE_COCCI_RELEASE" "y") + (patch-shebang "version.sh"))) + (add-before 'check 'set-batch-mode + (lambda _ + (substitute* "Makefile" + (("--testall") + "--batch_mode --testall"))))))) + (propagated-inputs + (list ocaml-menhir + ocaml-num + ocaml-parmap + ocaml-pcre + ocaml-pyml + ocaml-stdcompat)) + (native-inputs + (list autoconf + automake + ocaml + ocaml-findlib + pkg-config)) + (home-page "https://coccinelle.lip6.fr") + (synopsis "Transformation of C code using semantic patches") + (description "Coccinelle is a tool that allows modification of C code +using semantic patches in the @acronym{SmPL, Semantic Patch Language} for +specifying desired matches and transformations in the C code.") + (license gpl2)))) + (define-public patchutils (package (name "patchutils") -- 2.34.1 From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 1/4] gnu: Add ocaml-parmap. Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 May 2023 17:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ X-Debbugs-Original-To: Jean-Pierre De Jesus DIAZ via Guix-patches via , 63609@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16847749486799 (code B ref -1); Mon, 22 May 2023 17:03:02 +0000 Received: (at submit) by debbugs.gnu.org; 22 May 2023 17:02:28 +0000 Received: from localhost ([127.0.0.1]:36142 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q18vT-0001la-Qg for submit@debbugs.gnu.org; Mon, 22 May 2023 13:02:28 -0400 Received: from lists.gnu.org ([209.51.188.17]:45368) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q18vO-0001l5-Ck for submit@debbugs.gnu.org; Mon, 22 May 2023 13:02:23 -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 1q18vN-00020t-Ol for guix-patches@gnu.org; Mon, 22 May 2023 13:02:21 -0400 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q18vK-0004NA-Nd for guix-patches@gnu.org; Mon, 22 May 2023 13:02:20 -0400 Received: by mail-wr1-x42a.google.com with SMTP id ffacd0b85a97d-309d3eb37aeso421444f8f.1 for ; Mon, 22 May 2023 10:02:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1684774937; x=1687366937; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=dW4CIIeL9i4LWiCAGs9IiY7rWAkvKoQVNYqiD9VWoEI=; b=PunMuqnhxMsgGFtjlQkPyYSFyuyrk6jOCKhCP/ZVLygm0A+4odas5yIYhfqLyymd0c TuDzTNroKOEFCsQL0mxMrzLyTWul26JftUlG/ZwKxX8WLX886J9YE8wI05xp4zCXUJTi Bl98jM4Vu/7EbdN0MOJA/whIr4ACXeYrs6qGCcbKUFdiWauYjob+pAUhQYKQD3UrSSki bauKpVobaOVzGh4Opk+k123Fg1Q6K0uD6ljb1KPRogX2/+fV01DGBgKiYOwOhA0T8Pcq 8hQrin8e+CMzPC/AVe6VOAkQgBpIJAigyeoyk6N2l184fkgPR/OoVcEy1kciiBMP+Buw A8Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684774937; x=1687366937; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=dW4CIIeL9i4LWiCAGs9IiY7rWAkvKoQVNYqiD9VWoEI=; b=PuX0X0Dj4n1MR0cAHPjFTa+1TJ0r9PTe6eXF+Nm621Qn5NFMXjo1DwTLTsBSBYrHNt L/8oe/+3+sx9YFR5GddhLhzQUsJ3kRqQSpsL8QNkVUUDFjH3gRsvgeSYSWbVsGP4lKJD 0uTgKJza6w5wiqjEGHpmvMtQwsV8q7LUOg3PRnP42sTMOjy07Px80gh3+aNw4RVwdPI0 BiMmd3EJSYUWbGgAh5VddFgivWiXG/keVbpbtyd4sBO1LLdcUt6h/dY6cW29miZS/Mu3 hTSe48UeFBcc8I3VUMr2MJnVDH3yL9DK2pbmEzI2KRGDC/jGK8S5qMYaL6SEdAzkPDek okjg== X-Gm-Message-State: AC+VfDzxN3SdWOfXQWKNbXrjIRarrGsov/BSoo7tpX6Tx8ASl++Zk0i5 VsztnlgKULzoNjVKoAxAidbiofIZdzA= X-Google-Smtp-Source: ACHHUZ5eOYkkyXCo5pEuYiVCgjjqK1BkRsh3/ahVPwRZO3ztytavcfscwDU3BAO0GaQjAhbHeeaLuw== X-Received: by 2002:adf:dcca:0:b0:309:4a41:9eb5 with SMTP id x10-20020adfdcca000000b003094a419eb5mr6803631wrm.5.1684774937001; Mon, 22 May 2023 10:02:17 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id l6-20020adfe9c6000000b0030631f199f9sm8247698wrn.34.2023.05.22.10.02.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 May 2023 10:02:16 -0700 (PDT) From: Simon Tournier In-Reply-To: <20230521113417.76939-1-jean@foundationdevices.com> References: <20230520124838.35588-1-jean@foundationdevices.com> <20230521113417.76939-1-jean@foundationdevices.com> Date: Mon, 22 May 2023 19:00:39 +0200 Message-ID: <87a5xwxpvs.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::42a; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hi, Thanks for your patch. On dim., 21 mai 2023 at 13:34, Jean-Pierre De Jesus DIAZ via Guix-patches v= ia wrote: > +;;; Copyright =C2=A9 2023 Foundation Devices, Inc. Just to be sure, the copyright is hold by that company named Foundation Devices, Inc. and not by one person. Right? Cheers, simon From unknown Sun Jun 15 13:01:29 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 1/4] gnu: Add ocaml-parmap. Resent-From: Jean-Pierre De Jesus Diaz Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 23 May 2023 14:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Simon Tournier Cc: 63609@debbugs.gnu.org X-Debbugs-Original-Cc: 63609@debbugs.gnu.org, Jean-Pierre De Jesus DIAZ via Guix-patches via Received: via spool by submit@debbugs.gnu.org id=B.168485089710151 (code B ref -1); Tue, 23 May 2023 14:09:02 +0000 Received: (at submit) by debbugs.gnu.org; 23 May 2023 14:08:17 +0000 Received: from localhost ([127.0.0.1]:40054 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1SgT-0002de-9r for submit@debbugs.gnu.org; Tue, 23 May 2023 10:08:17 -0400 Received: from lists.gnu.org ([209.51.188.17]:44438) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1SgR-0002dX-KZ for submit@debbugs.gnu.org; Tue, 23 May 2023 10:08:16 -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 1q1SgN-0001fG-RW for guix-patches@gnu.org; Tue, 23 May 2023 10:08:13 -0400 Received: from mail-qt1-x833.google.com ([2607:f8b0:4864:20::833]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q1SgH-0006sH-9n for guix-patches@gnu.org; Tue, 23 May 2023 10:08:11 -0400 Received: by mail-qt1-x833.google.com with SMTP id d75a77b69052e-3f4ef2880fcso71717361cf.3 for ; Tue, 23 May 2023 07:08:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684850883; x=1687442883; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=jDvCZ4ltYT5v93T+YOtpCDwdz9tMSTOfy/4GsnjHTB4=; b=agogSFFuWgjTfmBiLuykyR9nquW9xbyX62apQhE89b7BJ12I3CVdXCsm4/wlkDttfz ILTPnmC0h0WfPvQ6CVYfnXZ/5/gwWRUu32MeNETnGG/+KxlHDRDiLlttfUEah/xNwoQ9 vL487h+twYU+HCytbmcY+A0qmUsUWgdZgoTP+FzaBmA80/7X1bT1bKw+8tkJRw5zj0Wq O5vQDVuX20jpGk3BfaGvm05nXQb5hEG2msqwgM65sgtwEu0HPUeTXmLp0PK7JO/mgCPS e74f2UujjoNWjqskxNBSeGv7nU8V0wR/P8pt7UtGza28YlJSMwZgGTzPR7sLk/SX+pC9 HyLw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684850883; x=1687442883; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=jDvCZ4ltYT5v93T+YOtpCDwdz9tMSTOfy/4GsnjHTB4=; b=Oab5ZXZgU1EHZtMlq4dCCVGrj2qAXOUjF2meoVfWm2ygOlhFCJjlV238ncOba4W7I4 FzLbJAmc3Qw2PTT4TqY4nU3zi0Nlia7e6yMnOU3m9VkfQv2nI9no0xbFQcZn7THisr5D bTtXfTCL62Gof1SfXUYhCqW3LJran9/h/SW+H06e45rNbvDfzYBwMK3/Y2XXfUWvC/4n h6Jb9CCnT384PTamC041N4KOLmfbM/HvZ0KSIfhvbjPv7DZCPilIgT4bN/PLdmrELt4V 8+N0sdDVHgdPqrTKbPFW4ImdqO3dYTZmV5Fa56IYRgHByF0snZrbJ9uQ1laz13+pnqgw u6xA== X-Gm-Message-State: AC+VfDwdEFDoZUdfo3ldAdvcd0WqNjfOxlkB1a9jGZoM64ZD0LFQS59I Pj4+plJALHUevB7dhmwTdH7DL9Aj4b98tMxmeYg0Qw== X-Google-Smtp-Source: ACHHUZ4e9VL6NADrM9t3LCAvFTr47EcW/qYqfnZASKEFrYmjhdUAvkqe70jlCwOEOu75JHdVRit0aW2tDmO7JGp/Jxs= X-Received: by 2002:a05:622a:1a23:b0:3f5:77:e5be with SMTP id f35-20020a05622a1a2300b003f50077e5bemr23577752qtb.23.1684850882688; Tue, 23 May 2023 07:08:02 -0700 (PDT) MIME-Version: 1.0 References: <20230520124838.35588-1-jean@foundationdevices.com> <20230521113417.76939-1-jean@foundationdevices.com> <87a5xwxpvs.fsf@gmail.com> In-Reply-To: <87a5xwxpvs.fsf@gmail.com> From: Jean-Pierre De Jesus Diaz Date: Tue, 23 May 2023 16:07:52 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::833; envelope-from=jean@foundationdevices.com; helo=mail-qt1-x833.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hi, Yes Simon, that is correct. Sending again as I didn't reply to all. Cheers, On Mon, May 22, 2023 at 7:02=E2=80=AFPM Simon Tournier wrote: > > Hi, > > Thanks for your patch. > > On dim., 21 mai 2023 at 13:34, Jean-Pierre De Jesus DIAZ via Guix-patches= via wrote: > > > +;;; Copyright =C2=A9 2023 Foundation Devices, Inc. > > Just to be sure, the copyright is hold by that company named Foundation > Devices, Inc. and not by one person. Right? > > > Cheers, > simon --=20 =E2=80=94 Jean-Pierre De Jesus DIAZ Senior Software Engineer Foundation Devices From unknown Sun Jun 15 13:01:29 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Jean-Pierre De Jesus DIAZ Subject: bug#63609: closed (Re: bug#63609: [PATCH 0/4] gnu: Add coccinelle.) Message-ID: References: <87mt1h537a.fsf@gnu.org> <20230520124838.35588-1-jean@foundationdevices.com> X-Gnu-PR-Message: they-closed 63609 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 63609@debbugs.gnu.org Date: Fri, 02 Jun 2023 14:50:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1685717403-2014-1" This is a multi-part message in MIME format... ------------=_1685717403-2014-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #63609: [PATCH 0/4] gnu: Add coccinelle. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 63609@debbugs.gnu.org. --=20 63609: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D63609 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1685717403-2014-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 63609-done) by debbugs.gnu.org; 2 Jun 2023 14:49:59 +0000 Received: from localhost ([127.0.0.1]:40632 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q566I-0000Vs-KP for submit@debbugs.gnu.org; Fri, 02 Jun 2023 10:49:58 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40696) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q566D-0000VY-Lb for 63609-done@debbugs.gnu.org; Fri, 02 Jun 2023 10:49:56 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q5668-0007Sc-8c; Fri, 02 Jun 2023 10:49:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=lF7CM5iUUiXJRVwc4txHgVy7+B/4F3WyG56oEvYY7tk=; b=ETcXtYCPiKJWfkWtVwwP QQQZUNQyvgQ0+afhOH0dY6ge+W2c2Zb5WO7qQouYUQ+qHyQK8LaoJfCa79yNbKeEtpg7Tc0RjH9OV Vnj6QyXar/VkszUqF077mtLFSGTuKbLu+Yir2vzcyfmTLwhRRH5WBgcQ+46W5bhdk8QpSvX8upxMQ ePkwAHXhYRk5ANytxTYOjGdWQ2UjckZUQwJlOInK5UySAs/VFpYMYsd0c4m1cij/EuZJx9y/ZcJbi DMLALNm2inT7RteZQnwugEpZvxgcT6jR477SenyR0nSQe6jLfJQ3EoRMZJRDYs8Lh7gW9D8d5ajku +3kmbSDh24eG7A==; Received: from [193.50.110.155] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q5667-0002bt-SK; Fri, 02 Jun 2023 10:49:48 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jean-Pierre De Jesus DIAZ Subject: Re: bug#63609: [PATCH 0/4] gnu: Add coccinelle. References: <20230520124838.35588-1-jean@foundationdevices.com> Date: Fri, 02 Jun 2023 16:49:45 +0200 In-Reply-To: <20230520124838.35588-1-jean@foundationdevices.com> (Jean-Pierre De Jesus DIAZ's message of "Sat, 20 May 2023 14:48:38 +0200") Message-ID: <87mt1h537a.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 63609-done Cc: 63609-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Jean-Pierre De Jesus DIAZ skribis: > gnu: Add ocaml-parmap. > gnu: Add ocaml-stdcompat. > gnu: Add ocaml-pyml. > gnu: Add coccinelle. Great work. Applied, thanks! Ludo=E2=80=99. ------------=_1685717403-2014-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 20 May 2023 15:52:00 +0000 Received: from localhost ([127.0.0.1]:59169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0Os9-0005Bg-DX for submit@debbugs.gnu.org; Sat, 20 May 2023 11:52:00 -0400 Received: from lists.gnu.org ([209.51.188.17]:58680) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q0M11-0005wF-FK for submit@debbugs.gnu.org; Sat, 20 May 2023 08:48:56 -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 1q0M10-00018e-Qo for guix-patches@gnu.org; Sat, 20 May 2023 08:48:54 -0400 Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q0M0p-0006GW-EF for guix-patches@gnu.org; Sat, 20 May 2023 08:48:53 -0400 Received: by mail-wr1-x42d.google.com with SMTP id ffacd0b85a97d-30796c0cbcaso4218840f8f.1 for ; Sat, 20 May 2023 05:48:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1684586920; x=1687178920; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=bZRhMj+szxImv+5hNrOCkjfVgxMMrrffZk8EkvVZ0EI=; b=IRPZASExDuK/bRMYVmtNTYsNJxFXNSyGS4hJW4g1o4sAwRF1nrKcSVmT/lhgYjBW5Q OWOxo0OXG971wRIL88u6eJVXnv4ZUVQFbQbQ2l5UcDWxSwsZ4dXo/O6zgljEC2GtK78S FwJeOnwuVFkoqYJrMmay+ulKsSBc1ZPTdcM6EjGUD/d/l9Vt6KsLLdmX2ZvY26ezEbkW aeO7qz+qPSnRJAoua1S0zAjxqbf8Xtlzf/23AWj+xjjBo3T1Q/QcoFwkbQbZmb/iWU11 7Gz5Ua9J7Z6FsMgTZwGYecR50CLL3t/Y/sWD/jOnqJJg1H4vJ2jtRr5cGsXCaN2cKpdH sDow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684586920; x=1687178920; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=bZRhMj+szxImv+5hNrOCkjfVgxMMrrffZk8EkvVZ0EI=; b=bMITfNC8H3aOoAo66O9vYYx9s8JWwBa1gfUaETBDANSamDeJuitvATHAIVbmhCS6sZ fnPwsHvFso2tkXzlmScHCFdSj+s2DUYt612JzWOlAjZqf7lDUZLzt6Xj5Wwi4iICofS/ IAaY66GVoMPtSOaGyn3A37Zu/iMotmeB/rTjskxVhkFNNeQ4Imh63p3iwrMolCS0rpGO WUn4JxH9MwpFmd17eLPsqWKRfpox2cF63cm8GdlO5E5rOnmdwSBdo5qevF+8MBB0qlN1 WPGlt2lPVlgLu4D2hJMmloJchVbk00IgWPrdHQpXtiEq5lJ70lFPwnvxHme22f4hl/OM akDA== X-Gm-Message-State: AC+VfDwJSqDp+jenVFXUySYUP3KSOy27QJHJMiOHq8j9k7YjclAfG2Mo yE9tH2T0I1qRI+pAkW1hfLYodf+AYFWZeZwwr4f6TA== X-Google-Smtp-Source: ACHHUZ65PvLvGtjukSL/NdFmPP5Kz8G/RtL8SYmUT6baaITZg5f1ealXLXZ0MJkyrlxbGuhcIpg2Lg== X-Received: by 2002:adf:ff8b:0:b0:306:459b:f575 with SMTP id j11-20020adfff8b000000b00306459bf575mr4422956wrr.12.1684586920688; Sat, 20 May 2023 05:48:40 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id c5-20020adfe705000000b002c71b4d476asm1868360wrm.106.2023.05.20.05.48.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 20 May 2023 05:48:40 -0700 (PDT) From: Jean-Pierre De Jesus DIAZ To: guix-patches@gnu.org Subject: [PATCH 0/4] gnu: Add coccinelle. Date: Sat, 20 May 2023 14:48:38 +0200 Message-Id: <20230520124838.35588-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::42d; envelope-from=jean@foundationdevices.com; helo=mail-wr1-x42d.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 20 May 2023 11:51:56 -0400 Cc: Jean-Pierre De Jesus DIAZ X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Package definition for coccinelle semantic patch tool. * ocaml-pyml is using a git commit as there's no recent version released yet that wokrs with Python ^3.10. * I thought of disabling the ocaml-parmap tests as these take a while and possibly could take a bit of CPU time on CI, so in reality it's not that long. Could send a revised patch to disable it though, however, feel free to disable the tests if necessary. Jean-Pierre De Jesus DIAZ (4): gnu: Add ocaml-parmap. gnu: Add ocaml-stdcompat. gnu: Add ocaml-pyml. gnu: Add coccinelle. gnu/packages/ocaml.scm | 117 ++++++++++++++++++++++++++++++++++++ gnu/packages/patchutils.scm | 56 +++++++++++++++++ 2 files changed, 173 insertions(+) base-commit: 5b700945fb0b33eec410de8979cae2fbf0d4f118 -- 2.34.1 ------------=_1685717403-2014-1--