aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
diff options
context:
space:
mode:
authorTheodoros Foradis <theodoros.for@openmailbox.org>2016-11-26 16:27:57 +0200
committerLeo Famulari <leo@famulari.name>2017-01-01 20:06:43 -0500
commitf90f6b683e524aec23962c49797797da74250c87 (patch)
tree98ff8aca3985820c1f524340688f671eb9f439b8 /gnu/packages/fpga.scm
parentabdd28e8c1e5b96c035b4e0a364a1726372b2055 (diff)
downloadguix-f90f6b683e524aec23962c49797797da74250c87.tar
guix-f90f6b683e524aec23962c49797797da74250c87.tar.gz
gnu: yosys: Add xdot functionality.
* gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc. [arguments]: Add 'fix-paths' phase. Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/fpga.scm')
-rw-r--r--gnu/packages/fpga.scm14
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index bb199096dc..a344e8ed2e 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org>
+;;; Copyright © 2016 Theodoros Foradis <theodoros.for@openmailbox.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -31,7 +32,9 @@
#:use-module (gnu packages bison)
#:use-module (gnu packages flex)
#:use-module (gnu packages gtk)
+ #:use-module (gnu packages graphviz)
#:use-module (gnu packages libffi)
+ #:use-module (gnu packages linux)
#:use-module (gnu packages zip)
#:use-module (gnu packages perl)
#:use-module (gnu packages ghostscript)
@@ -136,6 +139,13 @@ For synthesis, the compiler generates netlists in the desired format.")
(string-append "PREFIX=" %output))
#:phases
(modify-phases %standard-phases
+ (add-before 'configure 'fix-paths
+ (lambda _
+ (substitute* "./passes/cmds/show.cc"
+ (("exec xdot") (string-append "exec " (which "xdot")))
+ (("dot -") (string-append (which "dot") " -"))
+ (("fuser") (which "fuser")))
+ #t))
(replace 'configure
(lambda* (#:key inputs (make-flags '()) #:allow-other-keys)
(zero? (apply system* "make" "config-gcc" make-flags))))
@@ -172,7 +182,6 @@ For synthesis, the compiler generates netlists in the desired format.")
(("iverilog_bin=\".*\"") (string-append "iverilog_bin=\""
iverilog "\"")))
#t))))))
- ;; TODO add xdot [patch the path to it here] as soon as I find out where it is.
(native-inputs
`(("pkg-config" ,pkg-config)
("python" ,python)
@@ -185,6 +194,9 @@ For synthesis, the compiler generates netlists in the desired format.")
`(("tcl" ,tcl)
("readline" ,readline)
("libffi" ,libffi)
+ ("graphviz" ,graphviz)
+ ("psmisc" ,psmisc)
+ ("xdot" ,xdot)
("abc" ,abc)))
(home-page "http://www.clifford.at/yosys/")
(synopsis "FPGA Verilog RTL synthesizer")