anchor.diff:        bintools = binutils-unwrapped;
         libc = libcCross1;
       };
  +    isl = if targetPlatform.isRiscV then isl_0_17 else isl_0_14;
       in wrapCCWith {
         name = "gcc-cross-wrapper";
         cc = gccFun {
  
positive.code:         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_14 else null;
  
          # just for stage static
          crossStageStatic = true;
  
negative.code:   gambit = callPackage ../development/compilers/gambit { };
    gerbil = callPackage ../development/compilers/gerbil { };
  
    # !!! When updating to gcc7 everywhere we can get rid of the
    # isRiscV overrides here and in gccCrossStageStatic
    gccFun6 = callPackage ../development/compilers/gcc/6;
    gccFun7 = callPackage ../development/compilers/gcc/7;
    gccFun = if targetPlatform.isRiscV then gccFun7 else gccFun6;
    gcc = if targetPlatform.isRiscV then gcc7 else gcc6;
    gcc-unwrapped = gcc.cc;
  
    gccStdenv = if stdenv.cc.isGNU then stdenv else stdenv.override {
  