git: adb6da8a3adf - main - devel/isl: Update to 0.25

The branch main has been updated by nc:

URL: https://cgit.FreeBSD.org/ports/commit/?id=adb6da8a3adffd9829c49a679b3d71a635e4c8c3

commit adb6da8a3adffd9829c49a679b3d71a635e4c8c3
Author:     Neel Chauhan <nc@FreeBSD.org>
AuthorDate: 2022-08-31 17:44:10 +0000
Commit:     Neel Chauhan <nc@FreeBSD.org>
CommitDate: 2022-08-31 17:44:10 +0000

    devel/isl: Update to 0.25
---
 devel/isl/Makefile              | 10 +++++-----
 devel/isl/distinfo              |  6 +++---
 devel/isl/files/patch-configure | 11 -----------
 devel/isl/pkg-plist             |  4 ++--
 4 files changed, 10 insertions(+), 21 deletions(-)

diff --git a/devel/isl/Makefile b/devel/isl/Makefile
index 8df61d8dd316..66116334619d 100644
--- a/devel/isl/Makefile
+++ b/devel/isl/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	isl
-PORTVERSION=	0.24
+PORTVERSION=	0.25
 CATEGORIES=	devel math
 MASTER_SITES=	SOURCEFORGE/libisl
 
@@ -15,13 +15,13 @@ 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
 
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
@@ -63,6 +63,6 @@ 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