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

2016-05-19 10:00:36 +02:00
parent f81af4e6f0
commit 47c45e2041
15 changed files with 15 additions and 15 deletions
@@ -338,7 +338,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 ""}