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

@@ -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}
-GNU_CONFIGURE=	yes
-INSTALL_TARGET=	install-strip
 USE_LDCONFIG=	yes
+GNU_CONFIGURE=	yes
+
+INSTALL_TARGET=	install-strip
+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>

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

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/