diff options
Diffstat (limited to 'config/isl.m4')
-rw-r--r-- | config/isl.m4 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config/isl.m4 b/config/isl.m4 index c541158..152d422 100644 --- a/config/isl.m4 +++ b/config/isl.m4 @@ -120,9 +120,11 @@ AC_DEFUN([ISL_CHECK_VERSION], if test "${ENABLE_ISL_CHECK}" = yes ; then _isl_saved_CFLAGS=$CFLAGS _isl_saved_LDFLAGS=$LDFLAGS + _isl_saved_LIBS=$LIBS CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}" - LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs} -lisl" + LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}" + LIBS="${_isl_saved_LIBS} -lisl" echo $CFLAGS AC_CACHE_CHECK([for version $1.$2 of ISL], @@ -133,6 +135,7 @@ AC_DEFUN([ISL_CHECK_VERSION], CFLAGS=$_isl_saved_CFLAGS LDFLAGS=$_isl_saved_LDFLAGS + LIBS=$_isl_saved_LIBS fi ] ) |