diff --git a/pkgs/development/libraries/isl/0.27.0.nix b/pkgs/development/libraries/isl/0.27.0.nix new file mode 100644 index 000000000000..8b798c05cdd7 --- /dev/null +++ b/pkgs/development/libraries/isl/0.27.0.nix @@ -0,0 +1,11 @@ +import ./generic.nix rec { + version = "0.27"; + urls = [ + "mirror://sourceforge/libisl/isl-${version}.tar.xz" + "https://libisl.sourceforge.io/isl-${version}.tar.xz" + ]; + sha256 = "sha256-bYurtZ57Zy6Mt4cOh08/e4E7bgDmrz+LBPdXmWVkPVw="; + configureFlags = [ + "--with-gcc-arch=generic" # don't guess -march=/mtune= + ]; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 8a22e6e96f0d..673a346063f4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3223,11 +3223,13 @@ with pkgs; isl_0_20 = callPackage ../development/libraries/isl/0.20.0.nix { }; isl_0_23 = callPackage ../development/libraries/isl/0.23.0.nix { }; isl_0_24 = callPackage ../development/libraries/isl/0.24.0.nix { }; + isl_0_27 = callPackage ../development/libraries/isl/0.27.0.nix { }; }) isl isl_0_20 isl_0_23 isl_0_24 + isl_0_27 ; jackett = callPackage ../servers/jackett { };