mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-23 07:23:20 +00:00
isl: Add 0.15.0
And remove the defunct and unused default.nix
This commit is contained in:
parent
5ce2cf8a0f
commit
906be98e0d
@ -1,19 +1,17 @@
|
||||
{ stdenv, fetchurl, gmp }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "isl-0.14";
|
||||
name = "isl-0.15";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://isl.gforge.inria.fr/${name}.tar.bz2";
|
||||
sha256 = "0dlg4b85nw4w534525h0fvb7yhb8i4am8kskhmm0ym7qabzh4g3y";
|
||||
url = "http://isl.gforge.inria.fr/${name}.tar.xz";
|
||||
sha256 = "1m922l5bz69lvkcxrib7lvjqwfqsr8rpbzgmb2aq07bp76460jhh";
|
||||
};
|
||||
|
||||
buildInputs = [ gmp ];
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
doCheck = true;
|
||||
|
||||
meta = {
|
||||
homepage = http://www.kotnet.org/~skimo/isl/;
|
||||
license = stdenv.lib.licenses.lgpl21;
|
@ -1899,10 +1899,11 @@ let
|
||||
|
||||
ised = callPackage ../tools/misc/ised {};
|
||||
|
||||
isl = isl_0_14;
|
||||
isl = isl_0_15;
|
||||
isl_0_11 = callPackage ../development/libraries/isl/0.11.1.nix { };
|
||||
isl_0_12 = callPackage ../development/libraries/isl/0.12.2.nix { };
|
||||
isl_0_14 = callPackage ../development/libraries/isl/0.14.1.nix { };
|
||||
isl_0_15 = callPackage ../development/libraries/isl/0.15.0.nix { };
|
||||
|
||||
isync = callPackage ../tools/networking/isync { };
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user