X-Loop: help-debbugs@HIDDEN Subject: [bug#68153] [PATCH] gnu: Add python-cocotb. Resent-From: Cayetano Santos <csantosb@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sat, 30 Dec 2023 18:45:02 +0000 Resent-Message-ID: <handler.68153.B.17039618904743 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 68153 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68153 <at> debbugs.gnu.org Cc: Cayetano Santos <csantosb@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN Received: via spool by submit <at> debbugs.gnu.org id=B.17039618904743 (code B ref -1); Sat, 30 Dec 2023 18:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 30 Dec 2023 18:44:50 +0000 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> 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-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
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Cayetano Santos <csantosb@HIDDEN> Subject: bug#68153: Acknowledgement ([PATCH] gnu: Add python-cocotb.) Message-ID: <handler.68153.B.17039618904743.ack <at> debbugs.gnu.org> References: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN> X-Gnu-PR-Message: ack 68153 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 68153 <at> debbugs.gnu.org Date: Sat, 30 Dec 2023 18:45:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 68153 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 68153: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D68153 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: [bug#68153] python-find-libpython References: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN> In-Reply-To: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN> Resent-From: Troy Figiel <troy@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sun, 31 Dec 2023 11:29:02 +0000 Resent-Message-ID: <handler.68153.B68153.17040220925588 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 68153 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68153 <at> debbugs.gnu.org Received: via spool by 68153-submit <at> debbugs.gnu.org id=B68153.17040220925588 (code B ref 68153); Sun, 31 Dec 2023 11:29:02 +0000 Received: (at 68153) by debbugs.gnu.org; 31 Dec 2023 11:28:12 +0000 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> 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-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----- --=-=-=--
X-Loop: help-debbugs@HIDDEN Subject: [bug#68153] [PATCH] gnu: Add python-find-libpython. References: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN> In-Reply-To: <3fee261b22e793873c0624d5a4f79a1c7b85118f.1703961850.git.csantosb@HIDDEN> Resent-From: Troy Figiel <troy@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sun, 31 Dec 2023 11:30:03 +0000 Resent-Message-ID: <handler.68153.B68153.17040221655745 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 68153 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68153 <at> debbugs.gnu.org Received: via spool by 68153-submit <at> debbugs.gnu.org id=B68153.17040221655745 (code B ref 68153); Sun, 31 Dec 2023 11:30:03 +0000 Received: (at 68153) by debbugs.gnu.org; 31 Dec 2023 11:29:25 +0000 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> 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-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
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.