Page MenuHomeFreeBSD
Files F176611682

D52658.id162522.diff
No OneTemporary
Actions

D52658.id162522.diff
View Options

diff --git a/math/yices/Makefile b/math/yices/Makefile
--- 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
--- 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
--- a/math/yices/pkg-plist
+++ b/math/yices/pkg-plist
@@ -10,4 +10,4 @@
include/yices_types.h
lib/libyices.a
lib/libyices.so
-lib/libyices.so.2.6
+lib/libyices.so.2.7

File Metadata

Mime Type
text/plain
Expires
Wed, Oct 21, 5:46 AM (8 h, 40 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
41152663
Default Alt Text
D52658.id162522.diff (1 KB)

Event Timeline