From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH] gnu: Add yosys-clang. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 09 Oct 2024 07:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73717@debbugs.gnu.org Cc: Cayetano Santos X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172845994825605 (code B ref -1); Wed, 09 Oct 2024 07:46:02 +0000 Received: (at submit) by debbugs.gnu.org; 9 Oct 2024 07:45:48 +0000 Received: from localhost ([127.0.0.1]:55523 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1syROF-0006eu-OG for submit@debbugs.gnu.org; Wed, 09 Oct 2024 03:45:48 -0400 Received: from lists.gnu.org ([209.51.188.17]:45622) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1syROC-0006ej-4g for submit@debbugs.gnu.org; Wed, 09 Oct 2024 03:45: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 1syRO2-0002yU-5Z for guix-patches@gnu.org; Wed, 09 Oct 2024 03:45:34 -0400 Received: from confino.investici.org ([2a11:7980:1::2:0]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1syRNz-0002Pt-48 for guix-patches@gnu.org; Wed, 09 Oct 2024 03:45:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1728459924; bh=fwmB5f73dHJ5F/+clnjJtIEPwCx3noIDPkZ+zmOU05Y=; h=From:To:Cc:Subject:Date:From; b=aG9SX9WumTW6esOxhVCufoReJeDZ4BySP35tInxN8fVD79JhcVnPm2veA4LXJxoLc zIPDkwQjf2uDr8J8mnoR8NSWzD2jf43fKrsGXYEsj9Q8VgPmPv/eJZC/6pQ/DoNZG9 wwVaJhz11GOG7wEQ5n885HzV3aji1YFvi2eXX2LU= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4XNlKw6ZrLz119r; Wed, 9 Oct 2024 07:45:24 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4XNlKw5Pccz117F; Wed, 9 Oct 2024 07:45:24 +0000 (UTC) From: Cayetano Santos Date: Wed, 9 Oct 2024 09:45:02 +0200 Message-ID: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> X-Mailer: git-send-email 2.46.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a11:7980:1::2:0; envelope-from=csantosb@inventati.org; helo=confino.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 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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.4 (--) * gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da --- gnu/packages/fpga.scm | 54 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 68f36d501f..5204e041f9 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -224,6 +224,60 @@ (define-public yosys (description "Yosys synthesizes Verilog-2005.") (license license:isc))) +(define-public yosys-clang + (package + (inherit yosys) + (name "yosys-clang") + (arguments + (list + #:test-target "test" + #:make-flags #~(list "CC=clang" + "CXX=clang++" + (string-append "PREFIX=" #$output)) + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "./backends/smt2/smtio.py" + (("\\['z3") + (string-append "['" (search-input-file inputs "/bin/z3")))) + (substitute* "./kernel/fstdata.cc" + (("vcd2fst") + (search-input-file inputs "/bin/vcd2fst"))) + (substitute* '("./passes/cmds/show.cc" + "./passes/cmds/viz.cc") + (("exec xdot") + (string-append "exec " (search-input-file inputs + "/bin/xdot"))) + (("dot -") + (string-append (search-input-file inputs "/bin/dot") " -")) + (("fuser") + (search-input-file inputs "/bin/fuser"))))) + (replace 'configure + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "config-clang" make-flags))) + (add-after 'configure 'use-external-abc + (lambda* (#:key inputs #:allow-other-keys) + (substitute* '("./Makefile") + (("ABCEXTERNAL \\?=") + (string-append "ABCEXTERNAL = " + (search-input-file inputs "/bin/abc")))))) + (add-after 'install 'add-symbolic-link + (lambda* (#:key inputs #:allow-other-keys) + ;; Previously this package provided a copy of the "abc" + ;; executable in its output, named "yosys-abc". Create a + ;; symbolic link so any external uses of that name continue to + ;; work. + (symlink (search-input-file inputs "/bin/abc") + (string-append #$output "/bin/yosys-abc")))) + (add-after 'install 'wrap + (lambda* (#:key inputs #:allow-other-keys) + (wrap-program (string-append #$output "/bin/yosys-witness") + `("GUIX_PYTHONPATH" ":" prefix (,(getenv "GUIX_PYTHONPATH"))))))))) + (inputs + (modify-inputs (package-inputs yosys) + (append clang))))) + (define-public icestorm (let ((commit "2bc541743ada3542c6da36a50e66303b9cbd2059") (revision "4")) base-commit: d44beb9b4ad836781928a0c5667e94c0d6df13f0 -- 2.46.0 From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH v1] gnu: Add yosys-clang. References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> In-Reply-To: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 12 Oct 2024 17:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73717@debbugs.gnu.org Cc: Cayetano Santos Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.172875571131477 (code B ref 73717); Sat, 12 Oct 2024 17:56:02 +0000 Received: (at 73717) by debbugs.gnu.org; 12 Oct 2024 17:55:11 +0000 Received: from localhost ([127.0.0.1]:55075 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1szgKc-0008Ba-Cp for submit@debbugs.gnu.org; Sat, 12 Oct 2024 13:55:11 -0400 Received: from latitanza.investici.org ([82.94.249.234]:64997) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1szgG6-0007zM-0J for 73717@debbugs.gnu.org; Sat, 12 Oct 2024 13:50:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1728755406; bh=/20BCXGh8k4NcWa0a7oofqSnnTamGOFN6R9qEW8BdKQ=; h=From:To:Cc:Subject:Date:From; b=u4+Fv9sKFHYAu+Q1uPdS9uoNqeComi0nm3clL14siuoG669dd9Ju3nhwg29319SwJ gB8Yi1sDNbJjA5WqLY6tMoy1On7QxvAoPf4VDVPENVwRSVWBZlLqf7Gx9ZhTs1r6k+ Oz5fsseq5Tg7T2IQ/xLrv2P0RTZiEWFN+9vFc+PY= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4XQrcG4ChXzGp3L; Sat, 12 Oct 2024 17:50:06 +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 4XQrcG09pbzGp3C; Sat, 12 Oct 2024 17:50:05 +0000 (UTC) From: Cayetano Santos Date: Sat, 12 Oct 2024 19:50:00 +0200 Message-ID: X-Mailer: git-send-email 2.46.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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 (-) * gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da --- gnu/packages/fpga.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 68f36d501f..042831c024 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -224,6 +224,25 @@ (define-public yosys (description "Yosys synthesizes Verilog-2005.") (license license:isc))) +(define-public yosys-clang + (package + (inherit yosys) + (name "yosys-clang") + (arguments + (substitute-keyword-arguments (package-arguments yosys) + ((#:make-flags _ #f) + #~(list "CC=clang" + "CXX=clang++" + (string-append "PREFIX=" #$output))) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'configure + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "config-clang" make-flags))))))) + (inputs + (modify-inputs (package-inputs yosys) + (append clang))))) + (define-public icestorm (let ((commit "2bc541743ada3542c6da36a50e66303b9cbd2059") (revision "4")) -- 2.46.0 From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH v1] gnu: Add yosys-clang. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 24 Oct 2024 10:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Cayetano Santos Cc: 73717@debbugs.gnu.org Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.17297645089400 (code B ref 73717); Thu, 24 Oct 2024 10:09:02 +0000 Received: (at 73717) by debbugs.gnu.org; 24 Oct 2024 10:08:28 +0000 Received: from localhost ([127.0.0.1]:33720 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3ulX-0002RY-ND for submit@debbugs.gnu.org; Thu, 24 Oct 2024 06:08:27 -0400 Received: from eggs.gnu.org ([209.51.188.92]:33758) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3ulV-0002RJ-GH for 73717@debbugs.gnu.org; Thu, 24 Oct 2024 06:08:26 -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 1t3ukt-0005Jg-TS; Thu, 24 Oct 2024 06:07: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:Date:References:In-Reply-To:Subject:To: From; bh=zCA0eW7KcKbdMKwJG/Vc1xFcpUoeNu9qE5cdCuboz74=; b=lyhyT/8qcCHwQBQn8v0S fUv2qk4vrDRInpd0NVYm5uzFvjhzlWgVAN/UcUBY6xS3sixp0f0KmL3HF4PI6xap2dJ0CQsaP0I7y 7wBdrCLEL/nJWTOid4kVpWwuGqxNvRzKzePMMzscFDPvuuZw60JlIdzTOqoXC+rOR6YM6nOM+EolG Vflytkx0Vb+ElZSxFySGXc4LgwIucKrU7ktm0F35TKr8Q0rnHJgsQBofO6WUOjpfIx017RTpsI/13 psODYEDcqt3J4nCrwg0YIfVy98aQO9q7aKFKiI4gYjPiLMke/lwlCxPLZqRzhJDW8/B+8JwVYB6C1 +1/OCdqex8v1mA==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= In-Reply-To: (Cayetano Santos's message of "Sat, 12 Oct 2024 19:50:00 +0200") References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> Date: Thu, 24 Oct 2024 12:07:44 +0200 Message-ID: <87jzdx24r3.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.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: -3.3 (---) Hi, Cayetano Santos skribis: > * gnu/packages/fpga.scm (yosys-clang): New variable. > > Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da [...] > +(define-public yosys-clang > + (package > + (inherit yosys) > + (name "yosys-clang") Out of curiosity, why is it necessary to have a Clang-built variant of yosys? Does that change is feature set? > + (inputs Could you add a synopsis, like: (synopsis "FPGA Verilog RTL synthesizer (Clang variant)") ? Thanks, Ludo=E2=80=99. From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH v1] gnu: Add yosys-clang. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 24 Oct 2024 13:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 73717@debbugs.gnu.org Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.172977780217634 (code B ref 73717); Thu, 24 Oct 2024 13:51:01 +0000 Received: (at 73717) by debbugs.gnu.org; 24 Oct 2024 13:50:02 +0000 Received: from localhost ([127.0.0.1]:34146 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3yDx-0004a9-Rn for submit@debbugs.gnu.org; Thu, 24 Oct 2024 09:50:02 -0400 Received: from latitanza.investici.org ([82.94.249.234]:52789) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3yDv-0004Zx-Bj for 73717@debbugs.gnu.org; Thu, 24 Oct 2024 09:50:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1729777760; bh=xgVNfImgnfrt89eLqW9oIRb9qZypEeKY3aFgA9U42BU=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=EE3KgkYOOB1lHfr1yx2RbswVeZSOZtJXfba2VoyEGZyIRUmKFlNl+AlqAE3556q4y 6OY6Ah5Rq32gGNCNBECIFrGhZzpFCGMpBRYtlO4NbDYqwqs2t5wAaLhm4cM5HaEXen ogtMM+R/pn9RMRkciZRnju/Zl6847zt1U2dW7iAk= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4XZ6hw3FCxzGp57; Thu, 24 Oct 2024 13:49:20 +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 4XZ6hw1Bq1zGp4v; Thu, 24 Oct 2024 13:49:20 +0000 (UTC) From: Cayetano Santos In-Reply-To: <87jzdx24r3.fsf@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Thu, 24 Oct 2024 12:07:44 +0200") References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> <87jzdx24r3.fsf@gnu.org> Date: Thu, 24 Oct 2024 15:49:37 +0200 Message-ID: <87frold30u.fsf@inventati.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) 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 (-) >Thu 24 Oct 2024 at 12:07, Ludovic Court=C3=A8s wrote: > Out of curiosity, why is it necessary to have a Clang-built variant of > yosys? Does that change is feature set? Performance, cababilities and (usually) different outcomes. I=E2=80=99m interested on the yosys + ghdl-plugin for synthesis of vhdl code (not verilog, default in yosys). All these tools come with several technologies as backends, in order to compare performance, results, features (code coverage comes to my mind right now), etc. > Could you add a synopsis, like: > > (synopsis "FPGA Verilog RTL synthesizer (Clang variant)") Sure ! From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH v1] gnu: Add yosys-clang. References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> In-Reply-To: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: , guix-patches@gnu.org Resent-Date: Tue, 29 Oct 2024 08:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73717@debbugs.gnu.org Cc: Cayetano Santos , ( , Christopher Baines , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Mathieu Othacehe , Simon Tournier , Tobias Geerinckx-Rice , jgart X-Debbugs-Original-Xcc: ( , Christopher Baines , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Mathieu Othacehe , Simon Tournier , Tobias Geerinckx-Rice , jgart Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.173019217714703 (code B ref 73717); Tue, 29 Oct 2024 08:57:02 +0000 Received: (at 73717) by debbugs.gnu.org; 29 Oct 2024 08:56:17 +0000 Received: from localhost ([127.0.0.1]:55898 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t5i1R-0003p4-G1 for submit@debbugs.gnu.org; Tue, 29 Oct 2024 04:56:17 -0400 Received: from latitanza.investici.org ([82.94.249.234]:35553) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t5i1O-0003ov-PU for 73717@debbugs.gnu.org; Tue, 29 Oct 2024 04:56:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1730192173; bh=N2wYBbsXEkbzFcz8PvMwI8rHcvoGR9j9V7njyAvgbvg=; h=From:To:Cc:Subject:Date:From; b=rnW5qCG5X1KVKWnQpLu4bIAyW0bxlH9aH0TOXeM8YNnLPXJOR40YAGu3md14VZm2l DZ4Vb/7Z4y2i+DAeqtZ6HqI+HluzYa1POo7hl6BOBGp1El4KZNZmIzE3iRXEZMXJFn qX1HSiuZZrJbmq2Qryzmr4YPh7S8Eh5g5V5oRQtw= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4Xd3yP3NWQzGp3t; Tue, 29 Oct 2024 08:56:13 +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 4Xd3yP2Bf0zGp3p; Tue, 29 Oct 2024 08:56:13 +0000 (UTC) From: Cayetano Santos Date: Tue, 29 Oct 2024 09:55:46 +0100 Message-ID: X-Mailer: git-send-email 2.46.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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 (-) * gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da --- gnu/packages/fpga.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 68f36d501f..5ede463dde 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -224,6 +224,26 @@ (define-public yosys (description "Yosys synthesizes Verilog-2005.") (license license:isc))) +(define-public yosys-clang + (package + (inherit yosys) + (name "yosys-clang") + (arguments + (substitute-keyword-arguments (package-arguments yosys) + ((#:make-flags _ #f) + #~(list "CC=clang" + "CXX=clang++" + (string-append "PREFIX=" #$output))) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'configure + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "config-clang" make-flags))))))) + (inputs + (modify-inputs (package-inputs yosys) + (append clang))) + (synopsis "FPGA Verilog RTL synthesizer (Clang variant)"))) + (define-public icestorm (let ((commit "2bc541743ada3542c6da36a50e66303b9cbd2059") (revision "4")) base-commit: d44beb9b4ad836781928a0c5667e94c0d6df13f0 -- 2.46.0 From unknown Sun Jun 22 00:28:22 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] Control message for bug #73717 References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 21 Nov 2024 10:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: GNU bug tracker automated control server Cc: 73717@debbugs.gnu.org Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.173218660915514 (code B ref 73717); Thu, 21 Nov 2024 10:57:02 +0000 Received: (at 73717) by debbugs.gnu.org; 21 Nov 2024 10:56:49 +0000 Received: from localhost ([127.0.0.1]:49258 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tE4rh-000428-E7 for submit@debbugs.gnu.org; Thu, 21 Nov 2024 05:56:49 -0500 Received: from confino.investici.org ([93.190.126.19]:21999) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tE4rf-00041w-I2; Thu, 21 Nov 2024 05:56:48 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1732186599; bh=QcaVUmeVWo7mTa602DF6r/UTh1h6OrCJLTpvbbxgPDQ=; h=From:To:Cc:Subject:In-Reply-To:Date:From; b=po/UqYBJDjmrsduU5nfKWkIjshSqGfF2pHn/E4p9OP7Pt9ZTUNyHYA+sbP5PbGymx PneYEiie9ycURB1QhXbrDF6s4uPteXLU7iGq70ilu5TWKxfhTVKYO2OminNWObxMeO H4FlrD97VJ327VVztw8bUiJsPUupMAB3pU8g4oV8= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4XvFXl0gbNz11Hn; Thu, 21 Nov 2024 10:56:39 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4XvFXk6K0Zz11Hc; Thu, 21 Nov 2024 10:56:38 +0000 (UTC) From: Cayetano Santos In-Reply-To: User-Agent: mu4e 1.12.7; emacs 29.4 Date: Thu, 21 Nov 2024 11:56:37 +0100 Message-ID: <875xogn9cq.fsf@inventati.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) 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 (-) user guix usertag 73717 + patch-review-hackers-list quit From unknown Sun Jun 22 00:28:22 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: Cayetano Santos Subject: bug#73717: closed (Re: [bug#73717] [PATCH v1] gnu: Add yosys-clang.) Message-ID: References: <87ed1ezeim.fsf@gnu.org> <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> X-Gnu-PR-Message: they-closed 73717 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 73717@debbugs.gnu.org Date: Tue, 07 Jan 2025 18:06:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1736273163-19292-1" This is a multi-part message in MIME format... ------------=_1736273163-19292-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #73717: [PATCH] gnu: Add yosys-clang. 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 73717@debbugs.gnu.org. --=20 73717: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73717 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1736273163-19292-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 73717-done) by debbugs.gnu.org; 7 Jan 2025 18:05:04 +0000 Received: from localhost ([127.0.0.1]:44531 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tVDwu-0004uS-01 for submit@debbugs.gnu.org; Tue, 07 Jan 2025 13:05:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43058) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tVDwr-0004sq-Vb for 73717-done@debbugs.gnu.org; Tue, 07 Jan 2025 13:05:02 -0500 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 1tVDwk-0006EL-Ep; Tue, 07 Jan 2025 13:04:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=K+XyZIsX5ClCO/MqvMJRwdJ22B3URl4gg5JyP2ADABY=; b=YrdSiEP1z1ANX+/1xmHR HQU4ZmEcZzYWUWfL5JXIFbSrq2GzW93qlYbUE45g75nnJcte+aEViA90GxK7lHhppRe5b1M5ZeXM6 o2DmIjPZlQ5FrmQJ2i4v8HxWIAgam2kdRHNmizB84uX0LVFimb9/0/QZfwavbTIrn1XHO/kFeD5m3 c7Mk3ZXxAL7qnqbHsCQZCG2qUSX16A31rkv69cHijOjR9Y/X4tl4/Tn8OdcnWFee19WmkDu6wZ5Cb 3sPRZUgTHn3NaYfiFy/EG74V5tC0tqOyAJ5dwJ+Jrb8IH/xU8GCiN9wNitf0kK9sn0r6O81GmFM5T cNFMDmB/wMTYrQ==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Cayetano Santos Subject: Re: [bug#73717] [PATCH v1] gnu: Add yosys-clang. In-Reply-To: (Cayetano Santos's message of "Tue, 29 Oct 2024 09:55:46 +0100") References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> Date: Tue, 07 Jan 2025 19:04:49 +0100 Message-ID: <87ed1ezeim.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) 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: 73717-done Cc: Simon Tournier , paren@disroot.org, 73717-done@debbugs.gnu.org, Tobias Geerinckx-Rice , jgart , Mathieu Othacehe , Christopher Baines 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 (---) Cayetano Santos skribis: > * gnu/packages/fpga.scm (yosys-clang): New variable. > > Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da Finally applied. Thank you, and apologies for the delay! Ludo=E2=80=99. ------------=_1736273163-19292-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 9 Oct 2024 07:45:48 +0000 Received: from localhost ([127.0.0.1]:55523 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1syROF-0006eu-OG for submit@debbugs.gnu.org; Wed, 09 Oct 2024 03:45:48 -0400 Received: from lists.gnu.org ([209.51.188.17]:45622) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1syROC-0006ej-4g for submit@debbugs.gnu.org; Wed, 09 Oct 2024 03:45: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 1syRO2-0002yU-5Z for guix-patches@gnu.org; Wed, 09 Oct 2024 03:45:34 -0400 Received: from confino.investici.org ([2a11:7980:1::2:0]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1syRNz-0002Pt-48 for guix-patches@gnu.org; Wed, 09 Oct 2024 03:45:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1728459924; bh=fwmB5f73dHJ5F/+clnjJtIEPwCx3noIDPkZ+zmOU05Y=; h=From:To:Cc:Subject:Date:From; b=aG9SX9WumTW6esOxhVCufoReJeDZ4BySP35tInxN8fVD79JhcVnPm2veA4LXJxoLc zIPDkwQjf2uDr8J8mnoR8NSWzD2jf43fKrsGXYEsj9Q8VgPmPv/eJZC/6pQ/DoNZG9 wwVaJhz11GOG7wEQ5n885HzV3aji1YFvi2eXX2LU= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4XNlKw6ZrLz119r; Wed, 9 Oct 2024 07:45:24 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4XNlKw5Pccz117F; Wed, 9 Oct 2024 07:45:24 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH] gnu: Add yosys-clang. Date: Wed, 9 Oct 2024 09:45:02 +0200 Message-ID: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> X-Mailer: git-send-email 2.46.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a11:7980:1::2:0; envelope-from=csantosb@inventati.org; helo=confino.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 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: Cayetano Santos 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.4 (--) * gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da --- gnu/packages/fpga.scm | 54 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 68f36d501f..5204e041f9 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -224,6 +224,60 @@ (define-public yosys (description "Yosys synthesizes Verilog-2005.") (license license:isc))) +(define-public yosys-clang + (package + (inherit yosys) + (name "yosys-clang") + (arguments + (list + #:test-target "test" + #:make-flags #~(list "CC=clang" + "CXX=clang++" + (string-append "PREFIX=" #$output)) + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "./backends/smt2/smtio.py" + (("\\['z3") + (string-append "['" (search-input-file inputs "/bin/z3")))) + (substitute* "./kernel/fstdata.cc" + (("vcd2fst") + (search-input-file inputs "/bin/vcd2fst"))) + (substitute* '("./passes/cmds/show.cc" + "./passes/cmds/viz.cc") + (("exec xdot") + (string-append "exec " (search-input-file inputs + "/bin/xdot"))) + (("dot -") + (string-append (search-input-file inputs "/bin/dot") " -")) + (("fuser") + (search-input-file inputs "/bin/fuser"))))) + (replace 'configure + (lambda* (#:key make-flags #:allow-other-keys) + (apply invoke "make" "config-clang" make-flags))) + (add-after 'configure 'use-external-abc + (lambda* (#:key inputs #:allow-other-keys) + (substitute* '("./Makefile") + (("ABCEXTERNAL \\?=") + (string-append "ABCEXTERNAL = " + (search-input-file inputs "/bin/abc")))))) + (add-after 'install 'add-symbolic-link + (lambda* (#:key inputs #:allow-other-keys) + ;; Previously this package provided a copy of the "abc" + ;; executable in its output, named "yosys-abc". Create a + ;; symbolic link so any external uses of that name continue to + ;; work. + (symlink (search-input-file inputs "/bin/abc") + (string-append #$output "/bin/yosys-abc")))) + (add-after 'install 'wrap + (lambda* (#:key inputs #:allow-other-keys) + (wrap-program (string-append #$output "/bin/yosys-witness") + `("GUIX_PYTHONPATH" ":" prefix (,(getenv "GUIX_PYTHONPATH"))))))))) + (inputs + (modify-inputs (package-inputs yosys) + (append clang))))) + (define-public icestorm (let ((commit "2bc541743ada3542c6da36a50e66303b9cbd2059") (revision "4")) base-commit: d44beb9b4ad836781928a0c5667e94c0d6df13f0 -- 2.46.0 ------------=_1736273163-19292-1--