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

Lluís Batlle i Rossell viriketo at gmail.com
Thu Nov 25 23:35:28 CET 2010


On Thu, Nov 25, 2010 at 08:32:45PM +0000, Antonio Vargas Gonzalez wrote:
> 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.
Committed, with slight spacing changes mostly, and I removed the superfluous
release.nix change.

> 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.

> 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;

> _______________________________________________
> nix-dev mailing list
> nix-dev at cs.uu.nl
> https://mail.cs.uu.nl/mailman/listinfo/nix-dev




More information about the nix-dev mailing list