gcc: update to isl 0.20.0 for bootstrapping and recent versions (#103311)

2020-11-17 21:20:48 +00:00
parent e949d75899
commit 05e0aa3040
3 changed files with 6 additions and 6 deletions
@@ -152,7 +152,7 @@ in with pkgs; rec {
        # These needed for cross but not native tools because the stdenv
        # GCC has certain things built in statically. See
        # pkgs/stdenv/linux/default.nix for the details.
-        cp -d ${isl_0_17.out}/lib/libisl*.so* $out/lib
+        cp -d ${isl_0_20.out}/lib/libisl*.so* $out/lib

      '' + ''
        cp -d ${bzip2.out}/lib/libbz2.so* $out/lib