diff options
Diffstat (limited to 'math/yices')
| -rw-r--r-- | math/yices/Makefile | 23 | ||||
| -rw-r--r-- | math/yices/distinfo | 6 | ||||
| -rw-r--r-- | math/yices/pkg-plist | 2 |
3 files changed, 17 insertions, 14 deletions
diff --git a/math/yices/Makefile b/math/yices/Makefile index 9014014872e7..3504a67f2473 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -1,31 +1,34 @@ PORTNAME= yices -DISTVERSION= 2.6.5 +DISTVERSIONPREFIX= ${PORTNAME}- +DISTVERSION= 2.7.0 +PORTREVISION= 2 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..fbe526daa567 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 = 1758542030 +SHA256 (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a +SIZE (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 10461165 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 |