diff options
Diffstat (limited to 'config/isl.m4')
-rw-r--r-- | config/isl.m4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/isl.m4 b/config/isl.m4 index f45854d..9743aee 100644 --- a/config/isl.m4 +++ b/config/isl.m4 @@ -68,6 +68,9 @@ AC_DEFUN([ISL_INIT_FLAGS], ENABLE_ISL_CHECK=no AC_MSG_WARN([using in-tree ISL, disabling version check]) fi + + islinc="-DCLOOG_INT_GMP ${islinc}" + isllibs="${isllibs} -lisl" ] ) |