Remove gcc 4.7

There is really no reason to keep it around, given that it was never the default in Nixpkgs.
2014-01-07 10:36:15 +01:00
parent f1efeb4b3c
commit c3d31749fb
11 changed files with 7 additions and 1229 deletions
@@ -73,7 +73,7 @@ let
  patch = pkgs.patch.crossDrv;
  patchelf = pkgs.patchelf.crossDrv;
  replace = pkgs.replace.crossDrv;
-  gcc = pkgs.gcc47;
+  gcc = pkgs.gcc;
  gmp = pkgs.gmp.crossDrv;
  mpfr = pkgs.mpfr.crossDrv;
  ppl = pkgs.ppl.crossDrv;