diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2025-04-25 14:48:44 +0200 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-05-02 21:47:33 +0900 |
| commit | 64ab31870c6744a813a380b8989f80331fd73d1a (patch) | |
| tree | 8fc2d25a24aec14757bdd59b9f0a4f8b7d487d76 /gnu/packages/fpga.scm | |
| parent | 3ca90163f7c232ab5f093f824be9e8e07b9f4ddd (diff) | |
gnu: Add abc-yosyshq.
* gnu/packages/fpga.scm (abc-yosyshq): New variable.
Change-Id: I46649e3722ded3faf8c0993d7bebaf649e6297c6
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Diffstat (limited to 'gnu/packages/fpga.scm')
| -rw-r--r-- | gnu/packages/fpga.scm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 4fcd6a47a6..7c71973878 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -11,6 +11,7 @@ ;;; Copyright © 2024 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2024 Jakob Kirsch <jakob.kirsch@web.de> ;;; Copyright © 2025 Zheng Junjie <873216071@qq.com> +;;; Copyright © 2025 Cayetano Santos <csantosb@inventati.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -118,6 +119,25 @@ formal verification.") (license:non-copyleft "https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm"))))) +(define-public abc-yosyshq + (package + (inherit abc) + (name "abc-yosyshq") + (version "0.52") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/YosysHQ/abc/") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "15a7nyk8iqpadp326icnr7rn5pwq44b9lvajqc35hcsvixz4gxsa")))) + (home-page "https://github.com/YosysHQ/abc/") + (description "ABC is a program for sequential logic synthesis and +formal verification. This is the Yosyshq fork of ABC.") + (license (license:non-copyleft "file:///copyright.txt")))) + (define-public iverilog (package (name "iverilog") |