X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=c0ca1687875bca7f6efb28889d000f604242f0a8;hb=470ff37b766d27ed4c62cf31e37c576105a19bc4;hp=28e380b7194d073107e8b5589c4ed0c0f0300100;hpb=f1f6fd217bb1f094b5c99ca413bcce79d32f0847;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index 28e380b..c0ca168 100644
--- a/configure.ac
+++ b/configure.ac
@@ -194,6 +194,22 @@ AC_ARG_WITH([iconv-libraries],
 AC_SUBST(ICONV_INCLUDE_DIRS)
 AC_SUBST(ICONV_LIB_DIRS)
 
+dnl Allow to specify gmp options to the toplevel configure script
+dnl so they can be properly passed to sub-builds.
+
+AC_ARG_WITH([gmp-includes],
+  [AC_HELP_STRING([--with-gmp-includes],
+    [directory containing gmp.h])],
+    [GMP_INCLUDE_DIRS=$withval])
+
+AC_ARG_WITH([gmp-libraries],
+  [AC_HELP_STRING([--with-gmp-libraries],
+    [directory containing gmp library])],
+    [GMP_LIB_DIRS=$withval])
+
+AC_SUBST(GMP_INCLUDE_DIRS)
+AC_SUBST(GMP_LIB_DIRS)
+
 dnl--------------------------------------------------------------------
 dnl * Choose host(/target/build) platform
 dnl--------------------------------------------------------------------