diff options
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cc6d4868f62a..56dc881d0137 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8934,7 +8934,7 @@ in inherit noSysDirs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - isl = if !stdenv.isDarwin then isl_0_17 else null; + isl = if !stdenv.isDarwin then isl_0_20 else null; # just for stage static crossStageStatic = true; @@ -9027,7 +9027,7 @@ in libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; threadsCross = if stdenv.targetPlatform != stdenv.buildPlatform then threadsCross else null; - isl = if !stdenv.isDarwin then isl_0_17 else null; + isl = if !stdenv.isDarwin then isl_0_20 else null; })); gcc10 = lowPrio (wrapCC (callPackage ../development/compilers/gcc/10 { @@ -9041,7 +9041,7 @@ in libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; threadsCross = if stdenv.targetPlatform != stdenv.buildPlatform then threadsCross else null; - isl = if !stdenv.isDarwin then isl_0_17 else null; + isl = if !stdenv.isDarwin then isl_0_20 else null; })); gcc_latest = gcc10; |