diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2011-12-14 14:31:56 +0000 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2011-12-14 14:31:56 +0000 |
| commit | cfde88976ba4cddd01b1bb28b40afd12ea93a11d (patch) | |
| tree | 71b2dcebf820baafe7e54114f37e274e2a01da47 /pkgs/development/libraries/isl | |
| parent | 9eb4c4ddef57a82385de4ba7bf45e798d7ec6cbf (diff) | |
| download | nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar.gz nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar.bz2 nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar.lz nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar.xz nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.tar.zst nixlib-cfde88976ba4cddd01b1bb28b40afd12ea93a11d.zip | |
* Streamline the stdenv bootstrap and resulting closure by removing
some redundant builds (e.g., GMP was built three times). * Updated GMP to 5.0.2. * Updated PPL to 0.11.2. * Remove ad hoc flags to build GCC's dependencies statically. Instead, use the ‘makeStaticLibraries’ stdenv adapter. * Build GMP with C++ support by default. svn path=/nixpkgs/branches/stdenv-updates/; revision=30891
Diffstat (limited to 'pkgs/development/libraries/isl')
| -rw-r--r-- | pkgs/development/libraries/isl/default.nix | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pkgs/development/libraries/isl/default.nix b/pkgs/development/libraries/isl/default.nix index 65c0bc0c1d2e..b080064d3939 100644 --- a/pkgs/development/libraries/isl/default.nix +++ b/pkgs/development/libraries/isl/default.nix @@ -1,7 +1,7 @@ -{stdenv, fetchurl, gmp, static ? false}: +{ stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { - name = "isl-0.07"; # CLooG 0.16.3 fails to build with ISL 0.08. + name = "isl-0.07"; # CLooG 0.16.3 fails to build with ISL 0.08. src = fetchurl { url = "http://www.kotnet.org/~skimo/isl/${name}.tar.bz2"; @@ -10,10 +10,6 @@ stdenv.mkDerivation rec { buildInputs = [ gmp ]; - dontDisableStatic = static; - configureFlags = - stdenv.lib.optionals static [ " --enable-static" "--disable-shared" ]; - meta = { homepage = http://www.kotnet.org/~skimo/isl/; license = "LGPLv2.1"; |