diff options
| -rw-r--r-- | pkgs/applications/science/electronics/verilog/default.nix | 20 | ||||
| -rw-r--r-- | pkgs/lib/maintainers.nix | 1 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/applications/science/electronics/verilog/default.nix b/pkgs/applications/science/electronics/verilog/default.nix new file mode 100644 index 000000000000..8f48879f76a3 --- /dev/null +++ b/pkgs/applications/science/electronics/verilog/default.nix @@ -0,0 +1,20 @@ +{stdenv, fetchurl, gperf, flex, bison}: + +stdenv.mkDerivation rec { + name = "verilog-0.9.3"; + + src = fetchurl { + url = "mirror://sourceforce/${name}.tar.gz"; + sha256 = "dd68c8ab874a93805d1e93fa76ee1e91fc0c7b20822ded3e57b6536cd8c0d1ba"; + }; + + buildInputs = [ gperf flex bison ]; + + meta = { + description = "Icarus Verilog compiler"; + homepage = http://www.icarus.com; + license = "GPLv2+"; + maintainers = with stdenv.lib.maintainers; [winden]; + platforms = with stdenv.lib.platforms; linux; + }; +} diff --git a/pkgs/lib/maintainers.nix b/pkgs/lib/maintainers.nix index 8b664998d927..e795201755f4 100644 --- a/pkgs/lib/maintainers.nix +++ b/pkgs/lib/maintainers.nix @@ -21,5 +21,6 @@ simons = "Peter Simons <simons@cryp.to>"; urkud = "Yury G. Kudryashov <urkud+nix@ya.ru>"; viric = "Lluís Batlle i Rossell <viriketo@gmail.com>"; + winden = "Antonio Vargas Gonzalez <windenntw@gmail.com>"; z77z = "Marco Maggesi <maggesi@math.unifi.it>"; } diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 37f8540c91c9..8e261b5f70de 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -1257,6 +1257,8 @@ let inherit pciutils libx86 zlib; }; + verilog = callPackage ../applications/science/electronics/verilog {}; + viking = callPackage ../applications/misc/viking { }; vncrec = builderDefsPackage ../tools/video/vncrec { |