Setting gcc47 for the cross build tools

This commit is contained in:
Lluís Batlle i Rossell 2012-12-22 18:53:45 +01:00
parent 651734b619
commit f16193bd99

View file

@ -73,7 +73,7 @@ let
patch = pkgs.patch.hostDrv;
patchelf = pkgs.patchelf.hostDrv;
replace = pkgs.replace.hostDrv;
gcc = pkgs.gcc;
gcc = pkgs.gcc47;
gmp = pkgs.gmp.hostDrv;
mpfr = pkgs.mpfr.hostDrv;
#ppl = pkgs.ppl.hostDrv;