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

Reply via email to