anchor.diff:    gambit = callPackage ../development/compilers/gambit { };
     gerbil = callPackage ../development/compilers/gerbil { };
   
  -  gccFun = callPackage ../development/compilers/gcc/6;
  -  gcc = gcc6;
  +  # !!! 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 {
  
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:       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 {
  