[Nix-dev] Re: Package definition for icarus verilog

Antonio Vargas Gonzalez windenntw at gmail.com
Thu Nov 25 21:32:45 CET 2010


Thanks Marc for the quick review, I've ammended the patch now by adding my
email and adding the package to the set of packages to build on the unstable
channel.

Thanks!




On 25 November 2010 02:55, Antonio Vargas Gonzalez <windenntw at gmail.com>wrote:

>
> Hi NixOS developers,
>
> I've started using NixOS a couple days ago and found out there is no
> package for icarus verilog yet. After a bit of trial and error, I've managed
> to create a package definition for it, which I'm attaching as a patch.
>
> Please review and send me any comments, or if it needs any minor change,
> just fix it and submit on my behalf.
>
> Thanks!
>
> --
> Greetz, Antonio Vargas Gonzalez aka winden of rgba^ntw^bg
>
> http://winden.wordpress.com/
> windenntw at gmail.com
>
> Every day, every year
> you have to work
> you have to study
> you have to scene.
>



-- 
Greetz, Antonio Vargas Gonzalez aka winden of rgba^ntw^bg

http://winden.wordpress.com/
windenntw at gmail.com

Every day, every year
you have to work
you have to study
you have to scene.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20101125/82475bde/attachment.html 
-------------- next part --------------
Index: pkgs/applications/science/electronics/verilog/default.nix
===================================================================
--- pkgs/applications/science/electronics/verilog/default.nix	(revision 0)
+++ pkgs/applications/science/electronics/verilog/default.nix	(revision 0)
@@ -0,0 +1,21 @@
+{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];
+
+  configureFlags = [ ];
+
+  meta = {
+    description = "Icarus Verilog compiler";
+    homepage = http://www.icarus.com;
+    license = "GPLv2+";
+    maintainers = with stdenv.lib.maintainers; [winden];
+    platforms = with stdenv.lib.platforms; linux;
+  };
+}
Index: pkgs/lib/maintainers.nix
===================================================================
--- pkgs/lib/maintainers.nix	(revision 24849)
+++ pkgs/lib/maintainers.nix	(working copy)
@@ -21,5 +21,6 @@
   simons = "Peter Simons <simons at cryp.to>";
   urkud = "Yury G. Kudryashov <urkud+nix at ya.ru>";
   viric = "Lluís Batlle i Rossell <viriketo at gmail.com>";
+  winden = "Antonio Vargas Gonzalez <windenntw at gmail.com>";
   z77z = "Marco Maggesi <maggesi at math.unifi.it>";
 }
Index: pkgs/top-level/all-packages.nix
===================================================================
--- pkgs/top-level/all-packages.nix	(revision 24849)
+++ pkgs/top-level/all-packages.nix	(working copy)
@@ -1257,6 +1257,8 @@
     inherit pciutils libx86 zlib;
   };
 
+  verilog = callPackage ../applications/science/electronics/verilog {};
+
   viking = callPackage ../applications/misc/viking { };
 
   vncrec = builderDefsPackage ../tools/video/vncrec {
Index: pkgs/top-level/release.nix
===================================================================
--- pkgs/top-level/release.nix	(revision 24849)
+++ pkgs/top-level/release.nix	(working copy)
@@ -314,6 +314,7 @@
   utillinux = linux;
   utillinuxCurses = linux;
   uzbl = linux;
+  verilog = linux;
   viking = linux;
   vice = linux;
   vim = linux;


More information about the nix-dev mailing list