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