diff --git a/devel/isl/Makefile b/devel/isl/Makefile
index 8df61d8dd316..66116334619d 100644
--- a/devel/isl/Makefile
+++ b/devel/isl/Makefile
@@ -1,28 +1,28 @@
 PORTNAME=	isl
-PORTVERSION=	0.24
+PORTVERSION=	0.25
 CATEGORIES=	devel math
 MASTER_SITES=	SOURCEFORGE/libisl
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Integer Set Library
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		libtool pkgconfig tar:xz
 USE_LDCONFIG=	yes
 GNU_CONFIGURE=	yes
 
+CONFIGURE_ARGS=	--with-gmp-prefix=${LOCALBASE}
+
 INSTALL_TARGET=	install-strip
 TEST_TARGET=	check
 
-CONFIGURE_ARGS=	--with-gmp-prefix=${LOCALBASE}
-
-OPTIONS_DEFINE=	OPTIMIZED_CFLAGS
-OPTIONS_DEFAULT=OPTIMIZED_CFLAGS
+OPTIONS_DEFINE=		OPTIMIZED_CFLAGS
+OPTIONS_DEFAULT=	OPTIMIZED_CFLAGS
 
 OPTIMIZED_CFLAGS_CFLAGS=	-O3
 
 .include <bsd.port.mk>
diff --git a/devel/isl/distinfo b/devel/isl/distinfo
index c9c7d0a71830..b8e70d11db4c 100644
--- a/devel/isl/distinfo
+++ b/devel/isl/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1632249660
-SHA256 (isl-0.24.tar.xz) = 043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad
-SIZE (isl-0.24.tar.xz) = 1930956
+TIMESTAMP = 1661967703
+SHA256 (isl-0.25.tar.xz) = be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9
+SIZE (isl-0.25.tar.xz) = 1977048
diff --git a/devel/isl/files/patch-configure b/devel/isl/files/patch-configure
deleted file mode 100644
index c8fd69bf9de6..000000000000
--- a/devel/isl/files/patch-configure
+++ /dev/null
@@ -1,11 +0,0 @@
---- configure.orig	2021-10-14 09:28:15 UTC
-+++ configure
-@@ -6984,7 +6984,7 @@ fi
- 	echo "* (otherwise, a default of CFLAGS=-O3 will be used)    *"
- 	echo "********************************************************"
- 	echo ""
--        CFLAGS="-O3"
-+        CFLAGS="$ac_cv_env_CFLAGS_value"
-   fi
- 
-    { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether C compiler accepts $CFLAGS" >&5
diff --git a/devel/isl/pkg-plist b/devel/isl/pkg-plist
index f5ae54bc10cf..bba6da71237a 100644
--- a/devel/isl/pkg-plist
+++ b/devel/isl/pkg-plist
@@ -1,68 +1,68 @@
 include/isl/aff.h
 include/isl/aff_type.h
 include/isl/arg.h
 include/isl/ast.h
 include/isl/ast_build.h
 include/isl/ast_type.h
 include/isl/constraint.h
 include/isl/cpp.h
 include/isl/ctx.h
 include/isl/fixed_box.h
 include/isl/flow.h
 include/isl/hash.h
 include/isl/hmap.h
 include/isl/hmap_templ.c
 include/isl/id.h
 include/isl/id_to_ast_expr.h
 include/isl/id_to_id.h
 include/isl/id_to_pw_aff.h
 include/isl/id_type.h
 include/isl/ilp.h
 include/isl/list.h
 include/isl/local_space.h
 include/isl/lp.h
 include/isl/map.h
 include/isl/map_to_basic_set.h
 include/isl/map_type.h
 include/isl/mat.h
 include/isl/maybe.h
 include/isl/maybe_ast_expr.h
 include/isl/maybe_basic_set.h
 include/isl/maybe_id.h
 include/isl/maybe_pw_aff.h
 include/isl/maybe_templ.h
 include/isl/multi.h
 include/isl/obj.h
 include/isl/options.h
 include/isl/point.h
 include/isl/polynomial.h
 include/isl/polynomial_type.h
 include/isl/printer.h
 include/isl/printer_type.h
 include/isl/schedule.h
 include/isl/schedule_node.h
 include/isl/schedule_type.h
 include/isl/set.h
 include/isl/set_type.h
 include/isl/space.h
 include/isl/space_type.h
 include/isl/stdint.h
 include/isl/stream.h
 include/isl/stride_info.h
 include/isl/typed_cpp.h
 include/isl/union_map.h
 include/isl/union_map_type.h
 include/isl/union_set.h
 include/isl/union_set_type.h
 include/isl/val.h
 include/isl/val_gmp.h
 include/isl/val_type.h
 include/isl/vec.h
 include/isl/version.h
 include/isl/vertices.h
 lib/libisl.a
 lib/libisl.so
 lib/libisl.so.23
-lib/libisl.so.23.1.0
-lib/libisl.so.23.1.0-gdb.py
+lib/libisl.so.23.2.0
+lib/libisl.so.23.2.0-gdb.py
 libdata/pkgconfig/isl.pc