From unknown Wed Jun 18 23:03:02 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#78057 <78057@debbugs.gnu.org> To: bug#78057 <78057@debbugs.gnu.org> Subject: Status: [PATCH v2] gnu: Add symbiyosys. Reply-To: bug#78057 <78057@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:03:02 +0000 retitle 78057 [PATCH v2] gnu: Add symbiyosys. reassign 78057 guix-patches submitter 78057 Cayetano Santos severity 78057 normal tag 78057 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 25 05:31:16 2025 Received: (at submit) by debbugs.gnu.org; 25 Apr 2025 09:31:16 +0000 Received: from localhost ([127.0.0.1]:47396 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8FOr-0000f9-I7 for submit@debbugs.gnu.org; Fri, 25 Apr 2025 05:31:16 -0400 Received: from lists.gnu.org ([2001:470:142::17]:47904) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8FOo-0000eV-E5 for submit@debbugs.gnu.org; Fri, 25 Apr 2025 05:31:11 -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 1u8FOh-0006ap-PV for guix-patches@gnu.org; Fri, 25 Apr 2025 05:31:04 -0400 Received: from latitanza.investici.org ([82.94.249.234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u8FOd-0008FV-Nv for guix-patches@gnu.org; Fri, 25 Apr 2025 05:31:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745573455; bh=M9eGHGEaS+YIIUuhbEvREwjdVsMNnGvHvF2HVsma+g8=; h=From:To:Cc:Subject:Date:From; b=pl4P5r1PCLz8LfXjJYN1jb7+MltK+5/Exjugw76Jnl+eK8FDP41krtcbMihpjDmSJ W4Ob7JCCyMlFNXfQlLngLMTtmhjzuSUrRuM3fUBFscpfeeLFtTvv07xF/r/tNuurAj m4Mn9jevjeUckmG0l+MCx3d/2y7HF56NIqIDFxmM= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZkSJH5vbqzGp7Y; Fri, 25 Apr 2025 09:30:55 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZkSJH49rWzGp4j; Fri, 25 Apr 2025 09:30:55 +0000 (UTC) From: Cayetano Santos To: 78016@debbugs.gnu.org Subject: [PATCH v2] gnu: Add symbiyosys. Date: Fri, 25 Apr 2025 11:30:33 +0200 Message-ID: <2959c6b6d45577cfd1d6e61a86e2f3be14baf32c.1745573433.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 X-Debbugs-Cc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=82.94.249.234; envelope-from=csantosb@inventati.org; helo=latitanza.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, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Cayetano Santos , Cayetano Santos via Guix-patches via 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: -0.1 (/) From: Cayetano Santos via Guix-patches via * gnu/packages/electronics.scm (symbiyosys): New variable. Change-Id: I1a3758e4bf46fc6d57ef63a0c0f5f2e39a862c4d Signed-off-by: Cayetano Santos --- gnu/packages/electronics.scm | 67 +++++++++++++++++++++++++++++++++++- 1 file changed, 66 insertions(+), 1 deletion(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 12e44f234a..5ca28607b5 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -46,6 +46,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) #:use-module (gnu packages fontutils) + #:use-module (gnu packages fpga) #:use-module (gnu packages gl) #:use-module (gnu packages glib) #:use-module (gnu packages graphviz) @@ -54,6 +55,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages libusb) #:use-module (gnu packages linux) #:use-module (gnu packages m4) + #:use-module (gnu packages maths) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) #:use-module (gnu packages python-build) @@ -67,7 +69,8 @@ (define-module (gnu packages electronics) #:use-module (gnu packages swig) #:use-module (gnu packages tls) #:use-module (gnu packages toolkits) - #:use-module (gnu packages version-control)) + #:use-module (gnu packages version-control) + #:use-module (gnu packages xml)) (define-public comedilib (package @@ -635,6 +638,68 @@ (define-public sigrok-firmware-fx2lafw them usable as simple logic analyzer and/or oscilloscope hardware.") (license license:gpl2+)))) +(define-public symbiyosys + (package + (name "symbiyosys") + (version "0.52") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/YosysHQ/sby/") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "06nhkmnl9ymp1wxapc0lnj82knj5q43x0s2rmfshwvs4cijzqm7f")))) + (build-system gnu-build-system) + (arguments + (list + #:test-target "test" + #:make-flags #~(list (string-append "PREFIX=" #$output)) + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (delete 'build) + ;; TODO: build docs, after furo-ys is packaged. + ;; (add-after 'install 'build-info + ;; (lambda _ + ;; (invoke "make" "-C" "docs" "info"))) + (add-before 'check 'git-init + (lambda _ + (invoke "git" "init"))) ;check expects a git repo + (add-after 'git-init 'patch-/usr/bin/env + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "sbysrc/sby_core.py" + (("\"/usr/bin/env\", ") + "")) + (substitute* "sbysrc/sby.py" + (("/usr/bin/env python") + (search-input-file inputs "bin/python3"))))) + ;; The tests related to abc binary used by yosys produce errors + ;; Disable them + (add-after 'patch-/usr/bin/env 'disable-abc-tests + (lambda _ + (delete-file "tests/keepgoing/keepgoing_multi_step.sby") + (delete-file-recursively "docs/examples/demos") + (delete-file + "tests/regression/aim_vs_smt2_nonzero_start_offset.sby")))))) + (inputs (list abc yosys)) + (native-inputs (list + ;; TODO: see above build-info phase comment. + ;; python-sphinx python-sphinx-argparse texinfo + boolector + git-minimal/pinned + python + python-click + python-xmlschema + yices + z3)) + (home-page "https://github.com/YosysHQ/sby/") + (synopsis "Formal hardware verification with yosys") + (description + "SimbyYosys is a front-end program for yosys-based formal hardware verification +flows.") + (license license:isc))) + (define-public uhdm (package (name "uhdm") base-commit: 501a9603f5e3cda07f3be8e7fecac31f7af5ce52 -- 2.49.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 27 06:28:49 2025 Received: (at 78057-done) by debbugs.gnu.org; 27 Apr 2025 10:28:49 +0000 Received: from localhost ([127.0.0.1]:39431 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8zFh-0007Jo-CO for submit@debbugs.gnu.org; Sun, 27 Apr 2025 06:28:49 -0400 Received: from devianza.investici.org ([198.167.222.108]:42755) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8zFe-0007JZ-OB for 78057-done@debbugs.gnu.org; Sun, 27 Apr 2025 06:28:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745749725; bh=+qKLpoCpxZdbFj+wSjE64M+i4vRWhU0TKyruIS/Fu6U=; h=From:To:Subject:Date:From; b=ufNwB0YIfyprHbLjrmi5ef+egDHS89myuxydoKCzQ9ZfN7JFYu0ryzzL3piMgjTKG K+HrKYVK6P/1ZcY7VerdV5uNJdFL/sZAuIWwFRGPjS2nbAWNvOueTuFIi5/CJ1e+6W /e3T5evgMJzyStmmoEq9y8AiY+f7VJV9CGmPdN+M= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4ZljV507xkz6vMg for <78057-done@debbugs.gnu.org>; Sun, 27 Apr 2025 10:28:45 +0000 (UTC) Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZljV45mYKz6vLG for <78057-done@debbugs.gnu.org>; Sun, 27 Apr 2025 10:28:44 +0000 (UTC) From: Cayetano Santos To: 78057-done@debbugs.gnu.org Subject: close User-Agent: mu4e 1.12.9; emacs 29.4 Date: Sun, 27 Apr 2025 12:28:43 +0200 Message-ID: <87y0vlnbj8.fsf@inventati.org> 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: 78057-done 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.7 (-) --=-=-= Content-Type: text/plain Wrong patch, see #78016. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iI0EARYKADUWIQTMuBhC+dcFjs1nN3q/XN9N9r9mggUCaA4G2xccY3NhbnRvc2JA aW52ZW50YXRpLm9yZwAKCRC/XN9N9r9mgiuYAQCqV42WOZ3jgSLcS9Umx2VrdPE3 X6P2nY3KVpAQ/Th5/QEAjj8Aq988sQLRKesLEzu1dMQdYZIa+7uDjCYPnZsQWgU= =bO+9 -----END PGP SIGNATURE----- --=-=-=-- From unknown Wed Jun 18 23:03:02 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 25 May 2025 11:24:22 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator