diff options
author | Henner Zeller <h.zeller@acm.org> | 2024-07-13 17:39:19 -0700 |
---|---|---|
committer | Henner Zeller <h.zeller@acm.org> | 2024-07-15 08:36:13 -0700 |
commit | 61f0a17d3c74e4d098933acf8dfb1a26b54f25c9 (patch) | |
tree | a3f154d724ca1f5e42087753842e45488b09324d /pkgs/development/compilers | |
parent | 1dfd09c688fe8e2b998d347ee2c22e2eb23ae8dd (diff) |
verilog: rename to actual name iverilog
The iverilog project is commonly known as ... iverilog, not verilog. The package name `verilog` so far has been confusing, rename to `iverilog`. While doing so, move the package to the new by-name/ convention directory. Fix all the fall-out of packages that referred to the old name.
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/bluespec/default.nix | 4 | ||||
-rw-r--r-- | pkgs/development/compilers/yosys/default.nix | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/bluespec/default.nix b/pkgs/development/compilers/bluespec/default.nix index edf0f03659b22..e761c8609e8bf 100644 --- a/pkgs/development/compilers/bluespec/default.nix +++ b/pkgs/development/compilers/bluespec/default.nix @@ -17,7 +17,7 @@ , zlib , ghc , gmp-static -, verilog +, iverilog , asciidoctor , texliveFull , which @@ -108,7 +108,7 @@ in stdenv.mkDerivation rec { nativeCheckInputs = [ gmp-static - verilog + iverilog ]; checkTarget = "check-smoke"; # this is the shortest check but "check-suite" tests much more diff --git a/pkgs/development/compilers/yosys/default.nix b/pkgs/development/compilers/yosys/default.nix index 6af75057e898d..f90b7b31bbcdd 100644 --- a/pkgs/development/compilers/yosys/default.nix +++ b/pkgs/development/compilers/yosys/default.nix @@ -11,7 +11,7 @@ , readline , symlinkJoin , tcl -, verilog +, iverilog , zlib , yosys , yosys-bluespec @@ -147,7 +147,7 @@ in stdenv.mkDerivation (finalAttrs: { checkTarget = "test"; doCheck = true; - nativeCheckInputs = [ verilog ]; + nativeCheckInputs = [ iverilog ]; setupHook = ./setup-hook.sh; |