diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2022-01-14 12:57:35 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2022-01-14 12:59:33 +0100 |
| commit | 923dcc359731544db9ced910fac04f3e8546c88d (patch) | |
| tree | 2b47b528bdcf363bde4ff6cff37dad827e49321e | |
| parent | 0233583aa45e019e088f55b4f235ca68d7d3def9 (diff) | |
gnu: iverilog: Update to 11.0.
* gnu/packages/fpga.scm (iverilog): Update to 11.0.
[arguments]: Add make-flags.
| -rw-r--r-- | gnu/packages/fpga.scm | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 90f958223b..3b2938aff0 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -26,6 +26,7 @@ #:use-module (guix packages) #:use-module (guix download) #:use-module (guix git-download) + #:use-module (guix utils) #:use-module (guix build-system gnu) #:use-module (guix build-system cmake) #:use-module (guix build-system python) @@ -97,16 +98,18 @@ formal verification.") (define-public iverilog (package (name "iverilog") - (version "10.3") + (version "11.0") (source (origin (method url-fetch) (uri - (string-append "ftp://ftp.icarus.com/pub/eda/verilog/v10/" + (string-append "ftp://ftp.icarus.com/pub/eda/verilog/v11/" "verilog-" version ".tar.gz")) (sha256 (base32 - "1vv88ckvfwq7mrysyjnilsrcrzm9d173kp9w5ivwh6rdw7klbgc6")))) + "1mamlrkpb2gb00g7xdddaknrvwi4jr4ng6cfjhwngzk3ddhqaiym")))) (build-system gnu-build-system) + (arguments + `(#:make-flags (list (string-append "CC=" ,(cc-for-target))))) (native-inputs (list flex bison ghostscript)) ; ps2pdf (home-page "http://iverilog.icarus.com/") |