--- configure.orig	2011-12-18 21:03:44
+++ configure	2025-04-17 18:05:11
@@ -6017,7 +6017,7 @@
       ;;
     "ISL")
       clooginc="${clooginc} ${_cloogorginc}"
-      clooglibs="${clooglibs} -lcloog-isl -lisl"
+      clooglibs="${clooglibs} -lcloog-isl"
       cloog_org=yes
       ;;
     "PPL")
