1*0a6a1f1dSLionel Sambuc--- dist.minix/configure 2015-10-16 13:43:21.000000000 +0200 2*0a6a1f1dSLionel Sambuc+++ dist/configure 2015-10-16 13:43:34.000000000 +0200 3*0a6a1f1dSLionel Sambuc@@ -5300,7 +5300,7 @@ 4b8a678efSLionel Sambuc 5b8a678efSLionel Sambuc 6b8a678efSLionel Sambuc # Check for GMP, MPFR and MPC 7b8a678efSLionel Sambuc-gmplibs="-lmpc -lmpfr -lgmp" 8b8a678efSLionel Sambuc+gmplibs="-lmpc -lmpfr -lgmp -lm" 9b8a678efSLionel Sambuc gmpinc= 10b8a678efSLionel Sambuc have_gmp=no 11b8a678efSLionel Sambuc 12