git: 364ccd859655 - main - math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE

The branch main has been updated by alven:

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

commit 364ccd8596554c83c840725219cf262e6d87fb71
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-09-21 13:57:44 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-21 17:47:01 +0000

    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  | 21 +++++++++++----------
 math/yices/distinfo  |  6 +++---
 math/yices/pkg-plist |  2 +-
 3 files changed, 15 insertions(+), 14 deletions(-)

diff --git a/math/yices/Makefile b/math/yices/Makefile
index 9014014872e7..cd6d762bbf38 100644
--- a/math/yices/Makefile
+++ b/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}
-CFLAGS+=	-fPIC
-
-TEST_TARGET=	test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523
+TEST_TARGET=	test
 
-WRKSRC=		${WRKDIR}/yices-${DISTVERSION}
+CFLAGS+=	-fPIC
+PIE_UNSAFE=	yes
 
 post-install: # strip binaries
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
diff --git a/math/yices/distinfo b/math/yices/distinfo
index fa5f5eebeed8..01848f93f118 100644
--- a/math/yices/distinfo
+++ b/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
diff --git a/math/yices/pkg-plist b/math/yices/pkg-plist
index 00c6178fd0c2..7e94d129c8cf 100644
--- a/math/yices/pkg-plist
+++ b/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