--- configure.orig	2012-09-05 22:19:47
+++ configure	2025-04-17 18:15:12
@@ -5936,7 +5936,7 @@
       ;;
     "ISL")
       clooginc="${clooginc} ${_cloogorginc}"
-      clooglibs="${clooglibs} -lcloog-isl -lisl"
+      clooglibs="${clooglibs} -lcloog-isl"
       cloog_org=yes
       ;;
     "PPL")