diff options
Diffstat (limited to 'config/isl.m4')
| -rw-r--r-- | config/isl.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/isl.m4 b/config/isl.m4 index 7387ff2..e4e4aab 100644 --- a/config/isl.m4 +++ b/config/isl.m4 @@ -103,8 +103,8 @@ AC_DEFUN([ISL_CHECK_VERSION], _isl_saved_LIBS=$LIBS CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}" - LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}" - LIBS="${_isl_saved_LIBS} -lisl" + LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} ${gmplibs}" + LIBS="${_isl_saved_LIBS} -lisl -lgmp" AC_MSG_CHECKING([for isl 0.15 (or deprecated 0.14)]) AC_TRY_LINK([#include <isl/ctx.h>], |