configure: export mp_ symbols when compiling with mini-gmp

This addresses build issue when compiling with --enable-mini-gmp
and the symbol script being used.

diff --git a/configure.ac b/configure.ac
index 3d804dbf5e97e92ce16ff47cce51002af18ad2d0..029a15c411200221d1c400e0154d4d308cd51280 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -91,7 +91,7 @@ AC_ARG_ENABLE(mini-gmp,
 
 if test "x$enable_mini_gmp" = xyes ; then
   NETTLE_USE_MINI_GMP=1
-  HOGWEED_EXTRA_SYMBOLS="mpz_*;gmp_*;mpn_*;"
+  HOGWEED_EXTRA_SYMBOLS="mpz_*;gmp_*;mpn_*;mp_*;"
 else
   NETTLE_USE_MINI_GMP=0
   HOGWEED_EXTRA_SYMBOLS=""