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

Antonio Vargas Gonzalez windenntw at gmail.com
Fri Nov 26 22:37:04 CET 2010


Hi,

The patch I sent 2 days ago was incorrect and fails to fetch the package
from sourceforce. Please integrate this patch on top of it that makes the
fetch work OK.

Thanks!



2010/11/25 Lluís Batlle i Rossell <viriketo at gmail.com>

> 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 <urkud%2Bnix 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
>
>


-- 
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/20101126/d90550f2/attachment.html 
-------------- next part --------------
Index: applications/science/electronics/verilog/default.nix
===================================================================
--- applications/science/electronics/verilog/default.nix	(revision 24885)
+++ applications/science/electronics/verilog/default.nix	(working copy)
@@ -4,7 +4,7 @@
   name = "verilog-0.9.3";
 
   src = fetchurl {
-    url = "mirror://sourceforce/${name}.tar.gz";
+    url = "mirror://sourceforge/iverilog/0.9.3/verilog-0.9.3.tar.gz";
     sha256 = "dd68c8ab874a93805d1e93fa76ee1e91fc0c7b20822ded3e57b6536cd8c0d1ba";
   };
 


More information about the nix-dev mailing list