diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2016-04-16 19:58:41 +0300 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-05-19 10:00:36 +0200 |
commit | 47c45e20415643ecca52f8a0c0a4350b5ef84370 (patch) | |
tree | cdf238414d3759a4d9962675d083551a395456ec /pkgs/development/compilers/gcc/4.6/default.nix | |
parent | f81af4e6f0ad46df11a0fb99d5664e7c400bf2bf (diff) | |
download | nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar.gz nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar.bz2 nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar.lz nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar.xz nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.tar.zst nixlib-47c45e20415643ecca52f8a0c0a4350b5ef84370.zip |
treewide: Make explicit that 'dev' output of gmp is used
Diffstat (limited to 'pkgs/development/compilers/gcc/4.6/default.nix')
-rw-r--r-- | pkgs/development/compilers/gcc/4.6/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/gcc/4.6/default.nix b/pkgs/development/compilers/gcc/4.6/default.nix index bc968d1f66e3..2ce432d452fb 100644 --- a/pkgs/development/compilers/gcc/4.6/default.nix +++ b/pkgs/development/compilers/gcc/4.6/default.nix @@ -295,7 +295,7 @@ stdenv.mkDerivation ({ else ""} ${if javaAwtGtk then "--enable-java-awt=gtk" else ""} ${if langJava && javaAntlr != null then "--with-antlr-jar=${javaAntlr}" else ""} - --with-gmp=${gmp} + --with-gmp=${gmp.dev} --with-mpfr=${mpfr} --with-mpc=${libmpc} ${if libelf != null then "--with-libelf=${libelf}" else ""} |