diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/configure-bin.ac | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/distrib/configure-bin.ac b/distrib/configure-bin.ac index 62562b864b..783c1f1680 100644 --- a/distrib/configure-bin.ac +++ b/distrib/configure-bin.ac @@ -105,6 +105,25 @@ AC_SUBST(exeext) FP_FIND_ROOT +dnl-------------------------------------------------------------------- +dnl * Deal with arguments telling us gmp is somewhere odd +dnl-------------------------------------------------------------------- + +FP_ARG_GMP + +GMP_INCLUDE_DIRS= +GMP_LIB_DIRS= +if test "x$gmp_libraries" != "xNONE"; then + LDFLAGS="-L$gmp_libraries $LDFLAGS" + GMP_LIB_DIRS=$gmp_libraries +fi +if test "x$gmp_includes" != "xNONE"; then + CPPFLAGS="-I$gmp_includes $CPPFLAGS" + GMP_INCLUDE_DIRS=$gmp_includes +fi +AC_SUBST(GMP_INCLUDE_DIRS) +AC_SUBST(GMP_LIB_DIRS) + # dnl ** Check Perl installation ** # |