GNU bug report logs - #68153
[PATCH] gnu: Add python-cocotb.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Cayetano Santos <csantosb@HIDDEN>; Keywords: patch; dated Sat, 30 Dec 2023 18:45:02 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 68153 <at> debbugs.gnu.org:


Received: (at 68153) by debbugs.gnu.org; 31 Dec 2023 11:29:25 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Dec 31 06:29:25 2023
Received: from localhost ([127.0.0.1]:45684 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rJu0T-0001Ub-CW
	for submit <at> debbugs.gnu.org; Sun, 31 Dec 2023 06:29:25 -0500
Received: from mout-p-201.mailbox.org ([80.241.56.171]:39036)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <troy@HIDDEN>) id 1rJu0R-0001UE-EJ
 for 68153 <at> debbugs.gnu.org; Sun, 31 Dec 2023 06:29:24 -0500
Received: from smtp202.mailbox.org (smtp202.mailbox.org [10.196.197.202])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
 (No client certificate requested)
 by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4T2xhp6R6cz9ssm
 for <68153 <at> debbugs.gnu.org>; Sun, 31 Dec 2023 12:29:14 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=troyfigiel.com;
 s=MBO0001; t=1704022154;
 h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
 to:to:cc:mime-version:mime-version:content-type:content-type;
 bh=8Ik72Vl4uilcEYgPJtjn0YxA3NkLQv2LhpJGqJM5uro=;
 b=FT+n/kibNqmxGjVxEHeHAbIctvvPVF95EsFLmffUaA5o6poKZL6ZXfMIfe0KWmBLIhR5/4
 SuMMYKAQNy+66X9+5AR+PWQbJV1BAc/qjpuTxbeY5YxYY28fj8hVVGha4jpz1G3Sj3Z3Px
 +uGeWR+IJbKXoEQmcCOLMPMB4tBGX4UjOfDwfwYMPIx6427RdfBNlUPvK010C5Bwf9p81w
 yp5jOz2LJ5WX5vkwtmRmXx7zTtqaLzBELcsHUK81hPmeqP4H4Lm/0TFT8eQWM4GuZk7hOL
 55U2uwQXyGuLmVWRYvitE/sPsj0ZCbJySiN6Du13ZuexbwKIvAsvX7YWF/jsng==
From: Troy Figiel <troy@HIDDEN>
To: 68153 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add python-find-libpython.
Date: Sun, 31 Dec 2023 12:14:07 +0100
Message-ID: <87v88ey5it.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 68153
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

* gnu/packages/python-xyz.scm (python-find-libpython): New variable.
---
 gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 2afce6c667..c4bbe14a7c 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -9159,6 +9159,30 @@ (define-public python-executor
 particularly the AST node being executed.")
     (license license:expat))) ; MIT license
 
+(define-public python-find-libpython
+  (package
+    (name "python-find-libpython")
+    (version "0.3.1")
+    (source
+     (origin
+       ;; Only available as a binary release on PyPI.
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/ktbarrett/find_libpython")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32
+         "1d7y9srf5j8g34azf0j1jnnrn5al55cnzb4kkx2l1q8hys0l040c"))))
+    (build-system pyproject-build-system)
+    (native-inputs (list python-pytest))
+    (home-page "https://github.com/ktbarrett/find_libpython")
+    (synopsis "Find the path to the @code{libpython} dynamic library")
+    (description "@code{find_libpython} helps find the path to the
+@code{libpython} dynamic library for the current Python environment.  It is
+both a script and a Python package.")
+    (license license:expat))) ; MIT license
+
 (define-public python-roifile
   (package
     (name "python-roifile")

base-commit: 2a242e86379ebddbdddf2927f26e5e27a98fc605
-- 
2.40.1





Information forwarded to guix-patches@HIDDEN:
bug#68153; Package guix-patches. Full text available.

Message received at 68153 <at> debbugs.gnu.org:


Received: (at 68153) by debbugs.gnu.org; 31 Dec 2023 11:28:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Dec 31 06:28:12 2023
Received: from localhost ([127.0.0.1]:45676 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rJtzI-0001S4-JA
	for submit <at> debbugs.gnu.org; Sun, 31 Dec 2023 06:28:12 -0500
Received: from mout-p-201.mailbox.org ([80.241.56.171]:41054)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <troy@HIDDEN>) id 1rJtzG-0001Rl-3J
 for 68153 <at> debbugs.gnu.org; Sun, 31 Dec 2023 06:28:11 -0500
Received: from smtp202.mailbox.org (smtp202.mailbox.org [10.196.197.202])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
 (No client certificate requested)
 by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4T2xgP2188z9sVL
 for <68153 <at> debbugs.gnu.org>; Sun, 31 Dec 2023 12:28:01 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=troyfigiel.com;
 s=MBO0001; t=1704022081;
 h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
 to:to:cc:mime-version:mime-version:content-type:content-type;
 bh=dGTCVYxfhNw3i/rIHjb/IyFBJSgpMXnK6vh1rBc579M=;
 b=PC1YeSnERqiniD8+Qt1ecfZdVmU4yCwE9u+pOgbLoCP3rd4MMC/03I2ixR6fn26ZZaXYAz
 kITGS4PxXPTso4mP73GXHxbl7U+HmGpdysQQPVMpsJWTjIKhDm7TJYjWx/KL1FukgI34DE
 FnkBDlFmXeD33OhEpCi+vsuGIu618CQAcdFQMPCeQxkFSHzrSV7PWUYfy+LsuC4t2TXzpc
 Do4kL+9cBz/sEGhWDBz7uQ1B9jlR2sNoSxr2o0Qe9Vw+trQbKyQLxJbvlyhgCanQ5dj9KZ
 6gASAGoBGF42YLw6I+KQGOKjed6GcCAYo6bb2qelCbuPC9JNkmTt/suS84fm7A==
From: Troy Figiel <troy@HIDDEN>
To: 68153 <at> debbugs.gnu.org
Subject: python-find-libpython
Date: Sun, 31 Dec 2023 12:27:48 +0100
Message-ID: <87wmsuy5l7.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 68153
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

--=-=-=
Content-Type: text/plain

I would love to see cocotb included in Guix. Your patch does not build
for me though, because find-libpython is missing. I took the liberty to
add it. After replacing `python-find_libpython' by
`python-find-libpython' and including my patch, your patch does
successfully build for me.

That being said, it seems cocotb actually has a very extensive set of
tests. If possible, it would be nice if these can be included as well.

Best wishes,

Troy

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEE5HwNzSdo36E4/NzWxnyRgbOJP7AFAmWRUDQUHHRyb3lAdHJv
eWZpZ2llbC5jb20ACgkQxnyRgbOJP7DAHA//Y5USc/qC88ZuaPeYq4EcfbJfjBCc
LhLfZ/ysJ35lFfCv8Qkuavtc2AcHp+eiFGxIssWH0YVnI8F0ZKmCWJ+kiHG8zapj
eHW2qfZ7ucx+WWJW/5RQRds7b071ncmErIlSY06gNwv8zxWVEZjgU+JT0jrkYqM2
UPJ5OKrTHKH4i4xbSpp0gQEBNKOW0jvIxNdIuHcL5EnSzjN7gUpfOJifsHt+5aGu
yX+yWNeppws4eq9To53Ofg+lmE+MEOACBNm64uCKwI49M5j4FEEJp9jVcDhZoX+p
+6FjjsVfh4TovwypPWDxHIscr+XETYV4qbVQHicUm1+MT3naS5vmvSnT4OmUYTKI
+VN6NgRmfhUIpLpCmx/q3/s+DaxNTTTkqQlEfGGqFXVPUglcVViidSNRsEl7xKUv
BZtCuRuwLWTn+JQP+qeQKRkBG+tedX/gjafW87QMFk3elB7Delrj2xstbWEN/QqK
uDcGcNbo0JbY5+GZSx2xSAAAhLThFpy3jcQtjxrNBY5Y7yAGGi9HrxPJDmbpvLaJ
1NBuyQwDzueM7g4fIy8kAKfyqBMICIEKMVJfz00q326sG1JsEIWJvD42Ws8ChJrJ
FooTnb8JUMZDxymYE2GpImySK2LTi8NaARu2n/3a1/eKY1SohJfc6YQpSaKKaPhU
dBZ3PPzKgocRQeM=
=PcHb
-----END PGP SIGNATURE-----
--=-=-=--




Information forwarded to guix-patches@HIDDEN:
bug#68153; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 30 Dec 2023 18:44:50 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Dec 30 13:44:50 2023
Received: from localhost ([127.0.0.1]:45055 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rJeKH-0001ER-Qe
	for submit <at> debbugs.gnu.org; Sat, 30 Dec 2023 13:44:50 -0500
Received: from lists.gnu.org ([2001:470:142::17]:60194)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <csantosb@HIDDEN>) id 1rJeKC-0001E3-Bs
 for submit <at> debbugs.gnu.org; Sat, 30 Dec 2023 13:44:48 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <csantosb@HIDDEN>)
 id 1rJeK5-0001v5-UR
 for guix-patches@HIDDEN; Sat, 30 Dec 2023 13:44:37 -0500
Received: from devianza.investici.org ([198.167.222.108])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <csantosb@HIDDEN>)
 id 1rJeK3-0000ls-9L
 for guix-patches@HIDDEN; Sat, 30 Dec 2023 13:44:37 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
 s=stigmate; t=1703961870;
 bh=XfmIUPb89DtAsIklhmWQsO0+0Gj6p2UnR2OmR3XjMOQ=;
 h=From:To:Cc:Subject:Date:From;
 b=lN52zYM41lgKHZgWOfeYQ9wruCaxZvXbMW7S83nM/GkGgy92mrNgYvLLS+9L9Lmbo
 Nz9z4dwDl8cJ5PIx0of4uHTTq1lq0+9KZK2RJQtFMQAIau59Jdk1r82unIukjfACTH
 Q0pl7qmZI7EO8m5ISZVj/4h3bgX5M2DvpmGWkWfU=
Received: from mx2.investici.org (unknown [127.0.0.1])
 by devianza.investici.org (Postfix) with ESMTP id 4T2WPV4VpXz6vJB;
 Sat, 30 Dec 2023 18:44:30 +0000 (UTC)
Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108])
 (Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
 with ESMTPSA id 4T2WPV2Fgxz6vHs; 
 Sat, 30 Dec 2023 18:44:30 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH] gnu: Add python-cocotb.
Date: Sat, 30 Dec 2023 19:44:10 +0100
Message-ID: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN>
X-Mailer: git-send-email 2.41.0
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=198.167.222.108;
 envelope-from=csantosb@HIDDEN; helo=devianza.investici.org
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 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_LOW=-0.7, SPF_HELO_PASS=-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: 0.9 (/)
X-Debbugs-Envelope-To: submit
Cc: Cayetano Santos <csantosb@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

* gnu/packages/fpga.scm (python-cocotb): New variable.

Signed-off-by: Cayetano Santos <csantosb@HIDDEN>
---
 gnu/packages/fpga.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 13ac1a0b57..74eff01a7a 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -422,6 +422,33 @@ (define-public python-myhdl
 a hardware description and verification language.")
     (license license:lgpl2.1+)))
 
+(define-public python-cocotb
+  (package
+    (name "python-cocotb")
+    (version "1.8.1")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/cocotb/cocotb")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32
+         "07h8c3cjn4hhywvakcyk3chia102iszn6kjm53vl5f16rwy9xd07"))))
+    (build-system python-build-system)
+    (propagated-inputs (list python-find_libpython))
+    (arguments
+     `(#:tests? #f			; no test suite
+       ))
+    (home-page "https://github.com/cocotb/cocotb")
+    (synopsis
+     "Library for writing HDL testbenches in Python")
+    (description
+     "Coroutine based cosimulation testbench environment for
+verifying VHDL and Verilog RTL using Python.")
+    (license license:bsd-3)))
+
 (define-public nvc
   (package
     (name "nvc")

base-commit: 7722da6fa5422c4fec69d6c8b9536c7d6fc3d326
-- 
2.41.0





Acknowledgement sent to Cayetano Santos <csantosb@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#68153; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sat, 20 Jan 2024 12:30:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.