sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/yices: update 2.6.4 → 2.6.5

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-08-19 12:07:51 -07:00
parent 138fc1d159
commit 622269016c
3 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
math/yices/Makefile
View file

@ -1,5 +1,5 @@
PORTNAME= yices PORTNAME= yices
DISTVERSION= 2.6.4 DISTVERSION= 2.6.5
CATEGORIES= math CATEGORIES= math
MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/ MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/
DISTNAME= ${PORTNAME}-${DISTVERSION}-src DISTNAME= ${PORTNAME}-${DISTVERSION}-src
@ -9,7 +9,7 @@ COMMENT= SMT solver
WWW= https://yices.csl.sri.com/ WWW= https://yices.csl.sri.com/
LICENSE= GPLv3 LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENSE.txt LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= gperf:devel/gperf BUILD_DEPENDS= gperf:devel/gperf
LIB_DEPENDS= libgmp.so:math/gmp LIB_DEPENDS= libgmp.so:math/gmp
@ -23,7 +23,9 @@ CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so
MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET} MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
CFLAGS+= -fPIC CFLAGS+= -fPIC
WRKSRC= ${WRKDIR}/yices2-Yices-${DISTVERSION} TEST_TARGET= test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523
WRKSRC= ${WRKDIR}/yices-${DISTVERSION}
post-install: # strip binaries post-install: # strip binaries
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*

6
math/yices/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1643217873 TIMESTAMP = 1724046623
SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d
SIZE (yices-2.6.4-src.tar.gz) = 10186909 SIZE (yices-2.6.5-src.tar.gz) = 6149050

1
math/yices/pkg-plist
View file

@ -3,7 +3,6 @@ bin/yices_sat
bin/yices_sat_new bin/yices_sat_new
bin/yices_smt bin/yices_smt
bin/yices_smt2 bin/yices_smt2
bin/yices_smt2_mt
bin/yices_smtcomp bin/yices_smtcomp
include/yices.h include/yices.h
include/yices_exit_codes.h include/yices_exit_codes.h