diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/cloog.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/cloog.m4 b/config/cloog.m4 index ec8b46d244..e95b98d314 100644 --- a/config/cloog.m4 +++ b/config/cloog.m4 @@ -179,7 +179,7 @@ AC_DEFUN([CLOOG_FIND_FLAGS], ;; "ISL") clooginc="${clooginc} ${_cloogorginc}" - clooglibs="${clooglibs} -lcloog-isl" + clooglibs="${clooglibs} -lcloog-isl -lisl" cloog_org=yes ;; "PPL") |