git: 953bcf7b9ed8 - main - devel/isl: Update URLs, fix build and connect test suite

The branch main has been updated by diizzy:

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

commit 953bcf7b9ed8312ec527a525da0a0f35c44f3275
Author:     Daniel Engberg <diizzy@FreeBSD.org>
AuthorDate: 2021-10-14 10:20:19 +0000
Commit:     Daniel Engberg <diizzy@FreeBSD.org>
CommitDate: 2021-10-14 10:23:04 +0000

    devel/isl: Update URLs, fix build and connect test suite
    
    Update URLs (old main site dead)
    Fix port to follow CFLAGS set by framework instead of hardsetting -O3 only
    Rearrange Makefile
    
    Reference: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
    
    Approved by:    arrowd (mentor)
    Differential Revision:  https://reviews.freebsd.org/D32494
---
 devel/isl/Makefile              | 14 +++++++++++---
 devel/isl/files/patch-configure | 11 +++++++++++
 devel/isl/pkg-descr             |  2 +-
 3 files changed, 23 insertions(+), 4 deletions(-)

diff --git a/devel/isl/Makefile b/devel/isl/Makefile
index 54abca58a94d..fa5865e54a4b 100644
--- a/devel/isl/Makefile
+++ b/devel/isl/Makefile
@@ -3,7 +3,7 @@
 PORTNAME=	isl
 PORTVERSION=	0.24
 CATEGORIES=	devel math
-MASTER_SITES=	http://isl.gforge.inria.fr/ GENTOO
+MASTER_SITES=	SOURCEFORGE/libisl
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Integer Set Library
@@ -14,9 +14,17 @@ LICENSE_FILE=	${WRKSRC}/LICENSE
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		libtool pkgconfig tar:xz
-CONFIGURE_ARGS=	--with-gmp-prefix=${LOCALBASE}
+USE_LDCONFIG=	yes
 GNU_CONFIGURE=	yes
+
 INSTALL_TARGET=	install-strip
-USE_LDCONFIG=	yes
+TEST_TARGET=	check
+
+CONFIGURE_ARGS=	--with-gmp-prefix=${LOCALBASE}
+
+OPTIONS_DEFINE=	OPTIMIZED_CFLAGS
+OPTIONS_DEFAULT=OPTIMIZED_CFLAGS
+
+OPTIMIZED_CFLAGS_CFLAGS=	-O3
 
 .include <bsd.port.mk>
diff --git a/devel/isl/files/patch-configure b/devel/isl/files/patch-configure
new file mode 100644
index 000000000000..c8fd69bf9de6
--- /dev/null
+++ b/devel/isl/files/patch-configure
@@ -0,0 +1,11 @@
+--- 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-descr b/devel/isl/pkg-descr
index d45dea5b4857..54aecf7d3203 100644
--- a/devel/isl/pkg-descr
+++ b/devel/isl/pkg-descr
@@ -7,4 +7,4 @@ vertex enumeration. It also includes an ILP solver based on generalized
 basis reduction, transitive closures on maps (which may encode infinite
 graphs), dependence analysis and bounds on piecewise step-polynomials.
 
-WWW: http://isl.gforge.inria.fr/
+WWW: https://libisl.sourceforge.io/