GNU bug report logs - #76348
[PATCH] gnu: yosys: Update to 0.50.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 76348 in the body.
You can then email your comments to 76348 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: guix-patches <at> gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH] gnu: yosys: Update to 0.50.
Date: Sun, 16 Feb 2025 19:43:28 +0100

* gnu/packages/fpga.scm (yosys): Update to 0.50.

Change-Id: I29afc237c3ef5ea327aefdba68f76335d617a251
---

I update to 0.50 and also apply `guix style` to the package definition.

 gnu/packages/fpga.scm | 86 ++++++++++++++++++++++---------------------
 1 file changed, 45 insertions(+), 41 deletions(-)

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 1e4bbe2c68..1d2aa931b3 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -155,40 +155,45 @@ (define-public iverilog
 (define-public yosys
   (package
     (name "yosys")
-    (version "0.49")
-    (source (origin
-              (method git-fetch)
-              (uri (git-reference
-                    (url "https://github.com/YosysHQ/yosys")
-                    (commit (string-append "v" version))))
-              (sha256
-               (base32
-                "0mw8csk91s72vl73a9ngc3rrwhr4rfr8fm0abfycj3wcy8n3zr57"))
-              (file-name (git-file-name name version))))
+    (version "0.50")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/YosysHQ/yosys")
+             (commit (string-append "v" version))))
+       (sha256
+        (base32 "13fmxsg668fqggq4jyflhd5js2m8r52gb407mfqzcqzq59129gmz"))
+       (file-name (git-file-name name version))))
     (build-system gnu-build-system)
     (arguments
      (list
       #:test-target "test"
-      #:make-flags #~(list (string-append "CC=" #$(cc-for-target))
-                           (string-append "CXX=" #$(cxx-for-target))
-                           (string-append "PREFIX=" #$output))
+      #:make-flags
+      #~(list (string-append "CC="
+                             #$(cc-for-target))
+              (string-append "CXX="
+                             #$(cxx-for-target))
+              (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"))))
+                 (string-append "['"
+                                (search-input-file inputs "bin/z3"))))
               (substitute* "kernel/fstdata.cc"
                 (("vcd2fst")
                  (search-input-file inputs "bin/vcd2fst")))
               (substitute* "kernel/driver.cc"
                 (("^#include \"libs/cxxopts/include/cxxopts.hpp\"")
                  "#include <cxxopts.hpp>"))
-              (substitute* '("passes/cmds/show.cc"
-                             "passes/cmds/viz.cc")
+              (substitute* '("passes/cmds/show.cc" "passes/cmds/viz.cc")
                 (("exec xdot")
-                 (string-append "exec " (search-input-file inputs "bin/xdot")))
+                 (string-append "exec "
+                                (search-input-file inputs "bin/xdot")))
                 (("dot -")
                  (string-append (search-input-file inputs "bin/dot") " -"))
                 (("fuser")
@@ -213,30 +218,29 @@ (define-public yosys
           (add-after 'install 'wrap
             (lambda* (#:key inputs #:allow-other-keys)
               (wrap-program (string-append #$output "/bin/yosys-witness")
-                `("GUIX_PYTHONPATH" ":" prefix (,(getenv "GUIX_PYTHONPATH")))))))))
-    (native-inputs
-     (list bison
-           cxxopts                      ;header-only library
-           flex
-           gawk             ;for the tests and "make" progress pretty-printing
-           iverilog         ;for the tests
-           pkg-config
-           python
-           tcl))                        ;tclsh for the tests
-    (inputs
-     (list abc
-           bash-minimal
-           graphviz
-           gtkwave
-           libffi
-           psmisc
-           python
-           python-click
-           readline
-           tcl
-           xdot
-           z3
-           zlib))
+                `("GUIX_PYTHONPATH" ":" prefix
+                  (,(getenv "GUIX_PYTHONPATH")))))))))
+    (native-inputs (list bison
+                         cxxopts ;header-only library
+                         flex
+                         gawk ;for the tests and "make" progress pretty-printing
+                         iverilog ;for the tests
+                         pkg-config
+                         python
+                         tcl)) ;tclsh for the tests
+    (inputs (list abc
+                  bash-minimal
+                  graphviz
+                  gtkwave
+                  libffi
+                  psmisc
+                  python
+                  python-click
+                  readline
+                  tcl
+                  xdot
+                  z3
+                  zlib))
     (home-page "https://yosyshq.net/yosys/")
     (synopsis "FPGA Verilog RTL synthesizer")
     (description "Yosys synthesizes Verilog-2005.")

base-commit: eba8c08b1bfc7ac333a0eda658a0be5acac7f151
--
2.48.1

Previous Next

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