Author: shlevy
Date: Thu Mar 31 21:19:39 2011
New Revision: 26633
URL: https://svn.nixos.org/websvn/nix/?rev=26633&sc=1
Log:
Add isl, the integer set library (needed for cloog, an optional dependency for
GCC 4.6.0)
Added:
nixpkgs/trunk/pkgs/development/libraries/isl/
nixpkgs/trunk/pkgs/development/libraries/isl/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/development/libraries/isl/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/development/libraries/isl/default.nix Thu Mar 31
21:19:39 2011 (r26633)
@@ -0,0 +1,28 @@
+{stdenv, fetchurl, gmp, static ? false}:
+
+let
+ version = "0.06";
+ staticFlags = if static then " --enable-static --disable-shared" else "";
+in
+
+stdenv.mkDerivation {
+ name = "isl-${version}";
+
+ src = fetchurl {
+ url = "http://www.kotnet.org/~skimo/isl/isl-${version}.tar.bz2";
+ sha256 = "0w1i1m94w0jkmm0bzlp08c4r97j7yp0d7crxf28524b9mgbg0mwk";
+ };
+
+ buildInputs = [ gmp ];
+
+ dontDisableStatic = if static then true else false;
+ configureFlags = "--with-gmp-prefix=${gmp}" + staticFlags;
+
+ meta = {
+ homepage = http://www.kotnet.org/~skimo/isl/;
+ license = "LGPLv2.1";
+ description = "A library for manipulating sets and relations of integer
points bounded by linear constraints.";
+ maintainers = [ stdenv.lib.maintainers.shlevy ];
+ };
+}
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Mar 31 21:15:53
2011 (r26632)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Mar 31 21:19:39
2011 (r26633)
@@ -821,6 +821,8 @@
ised = callPackage ../tools/misc/ised {};
+ isl = callPackage ../development/libraries/isl { };
+
isync = callPackage ../tools/networking/isync { };
jdiskreport = callPackage ../tools/misc/jdiskreport { };
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits