mirror/guix
mirror/guix
1
Fork 0
mirror of https://https.git.savannah.gnu.org/git/guix.git/ synced 2025-07-12 18:10:47 +02:00
Code Releases Activity

gnu: yosys: Remove extraneous characters.

Browse source 
* gnu/packages/fpga.scm (yosys) [arguments]: Drop leading './' from file
names.  Drop leading '/' from file names given to 'search-input-file'.

Change-Id: I49febe7bcf0d60553d2a24d99746e6457fa4d03f
This commit is contained in:
Maxim Cournoyer 2024-11-12 14:18:43 +09:00
parent badcd4a79f
commit 98e470d0a5
No known key found for this signature in database
GPG key ID: 1260E46482E63562
1 changed files with 10 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

21
gnu/packages/fpga.scm
View file

@ -171,30 +171,29 @@ For synthesis, the compiler generates netlists in the desired format.")
#~(modify-phases %standard-phases
(add-before 'configure 'fix-paths
(lambda* (#:key inputs #:allow-other-keys)
(substitute* "./backends/smt2/smtio.py"
(substitute* "backends/smt2/smtio.py"
(("\\['z3")
(string-append "['" (search-input-file inputs "/bin/z3"))))
(substitute* "./kernel/fstdata.cc"
(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")
(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")
(("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") " -"))
(string-append (search-input-file inputs "bin/dot") " -"))
(("fuser")
(search-input-file inputs "/bin/fuser")))))
(search-input-file inputs "bin/fuser")))))
(replace 'configure
(lambda* (#:key make-flags #:allow-other-keys)
(apply invoke "make" "config-gcc" make-flags)))
(add-after 'configure 'use-external-abc
(lambda* (#:key inputs #:allow-other-keys)
(substitute* '("./Makefile")
(substitute* '("Makefile")
(("ABCEXTERNAL \\?=")
(string-append "ABCEXTERNAL = "
(search-input-file inputs "/bin/abc"))))))