diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/isl')
4 files changed, 12 insertions, 12 deletions
diff --git a/nixpkgs/pkgs/development/libraries/isl/0.11.1.nix b/nixpkgs/pkgs/development/libraries/isl/0.11.1.nix index 1cac0d369fed..5beffd1f0d2e 100644 --- a/nixpkgs/pkgs/development/libraries/isl/0.11.1.nix +++ b/nixpkgs/pkgs/development/libraries/isl/0.11.1.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp }: +{ lib, stdenv, fetchurl, gmp }: stdenv.mkDerivation { name = "isl-0.11.1"; # CLooG 0.16.3 fails to build with ISL 0.08. @@ -15,8 +15,8 @@ stdenv.mkDerivation { meta = { homepage = "https://www.kotnet.org/~skimo/isl/"; - license = stdenv.lib.licenses.lgpl21; + license = lib.licenses.lgpl21; description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; - platforms = stdenv.lib.platforms.all; + platforms = lib.platforms.all; }; } diff --git a/nixpkgs/pkgs/development/libraries/isl/0.14.1.nix b/nixpkgs/pkgs/development/libraries/isl/0.14.1.nix index a97e05b0431a..8936d6c5f3be 100644 --- a/nixpkgs/pkgs/development/libraries/isl/0.14.1.nix +++ b/nixpkgs/pkgs/development/libraries/isl/0.14.1.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp }: +{ lib, stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { name = "isl-0.14.1"; @@ -14,8 +14,8 @@ stdenv.mkDerivation rec { meta = { homepage = "https://www.kotnet.org/~skimo/isl/"; - license = stdenv.lib.licenses.lgpl21; + license = lib.licenses.lgpl21; description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; - platforms = stdenv.lib.platforms.all; + platforms = lib.platforms.all; }; } diff --git a/nixpkgs/pkgs/development/libraries/isl/0.17.1.nix b/nixpkgs/pkgs/development/libraries/isl/0.17.1.nix index 018f70850881..a823b69fa27b 100644 --- a/nixpkgs/pkgs/development/libraries/isl/0.17.1.nix +++ b/nixpkgs/pkgs/development/libraries/isl/0.17.1.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp }: +{ lib, stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { name = "isl-0.17.1"; @@ -14,8 +14,8 @@ stdenv.mkDerivation rec { meta = { homepage = "https://www.kotnet.org/~skimo/isl/"; - license = stdenv.lib.licenses.lgpl21; + license = lib.licenses.lgpl21; description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; - platforms = stdenv.lib.platforms.all; + platforms = lib.platforms.all; }; } diff --git a/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix b/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix index 3775bdc71e02..c35588555a7f 100644 --- a/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix +++ b/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp }: +{ lib, stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { name = "isl-0.20"; @@ -14,8 +14,8 @@ stdenv.mkDerivation rec { meta = { homepage = "http://isl.gforge.inria.fr/"; - license = stdenv.lib.licenses.lgpl21; + license = lib.licenses.lgpl21; description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; - platforms = stdenv.lib.platforms.all; + platforms = lib.platforms.all; }; } |