math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE

Changelogs:
* https://yices.csl.sri.com/release-notes.html
* https://github.com/SRI-CSL/yices2/compare/Yices-2.6.5...yices-2.7.0

* Switch MASTER_SITES to Github as upstream official site doesn't
contain tarball for 2.7.0
* Add second WWW for source code repository
* Correct LICENSE and LICENSE_FILE
* Have test issue closed
  https://github.com/SRI-CSL/yices2/issues/523
* Mark as PIE_UNSAFE

Approved by:	yuri@ (maintainer, Mentor)

Differential Revision: https://reviews.freebsd.org/D52658

math/yices/Makefile

@@ -1,31 +1,32 @@
 PORTNAME=	yices
-DISTVERSION=	2.6.5
+DISTVERSION=	2.7.0
 CATEGORIES=	math
-MASTER_SITES=	https://yices.csl.sri.com/releases/${DISTVERSION}/
-DISTNAME=	${PORTNAME}-${DISTVERSION}-src
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver
-WWW=		https://yices.csl.sri.com/
+WWW=		https://yices.csl.sri.com/ \
+		https://github.com/SRI-CSL/yices2/
 
-LICENSE=	GPLv3
-LICENSE_FILE=	${WRKSRC}/LICENSE
+LICENSE=	GPLv3+
+LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 BUILD_DEPENDS=	gperf:devel/gperf
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		autoreconf compiler:c11 gmake localbase
+USE_GITHUB=	yes
+GH_ACCOUNT=	SRI-CSL
+GH_PROJECT=	yices2
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-pic-gmp=${LOCALBASE}/lib/libgmp.so
 
 MAKE_ARGS=	YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
+TEST_TARGET=	test
+
 CFLAGS+=	-fPIC
-
-TEST_TARGET=	test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523
-
-WRKSRC=		${WRKDIR}/yices-${DISTVERSION}
+PIE_UNSAFE=	yes
 
 post-install: # strip binaries
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*

math/yices/distinfo

@@ -1,3 +1,3 @@
-TIMESTAMP = 1724046623
-SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d
-SIZE (yices-2.6.5-src.tar.gz) = 6149050
+TIMESTAMP = 1758459988
+SHA256 (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 1fec19d9a72a79b731148ff904671a3502145912eaea0bee40e5d11d72ff6cc8
+SIZE (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 10460379

math/yices/pkg-plist

@@ -10,4 +10,4 @@ include/yices_limits.h
 include/yices_types.h
 lib/libyices.a
 lib/libyices.so
-lib/libyices.so.2.6
+lib/libyices.so.2.7