treewide: Make explicit that 'dev' output of gmp is used

This commit is contained in:
Tuomas Tynkkynen 2016-08-23 03:32:16 +03:00
parent 463b0a181e
commit c08364b887

View file

@ -333,7 +333,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 ""}