Date: Wed, 4 Jan 2023 11:51:01 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 76810a270cfe - main - lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5 Message-ID: <202301041151.304Bp1An055224@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=76810a270cfe9319a06506159d1ccb37802f1cd3 commit 76810a270cfe9319a06506159d1ccb37802f1cd3 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-01-04 11:49:23 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-01-04 11:50:54 +0000 lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5 --- lang/solidity/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index e9b571eba936..c2ff2ade047d 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -1,5 +1,6 @@ PORTNAME= solidity PORTVERSION= 0.8.17 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -22,14 +23,15 @@ USES= cmake compiler:c++14-lang cpe CPE_VENDOR= ${PORTNAME}lang OPTIONS_DEFINE= Z3 CVC4 -OPTIONS_DEFAULT=Z3 CVC4 +OPTIONS_DEFAULT=Z3 #CVC4 OPTIONS_EXCLUDE_i386= Z3 Z3_DESC= SMT Checker via Z3 CVC4_DESC= SMT Checker via CVC4 Z3_LIB_DEPENDS= libz3.so:math/z3 -CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4 libgmp.so:math/gmp +CVC4_LIB_DEPENDS= libcvc5.so:math/cvc5 libgmp.so:math/gmp Z3_CMAKE_OFF= USE_Z3 CVC4_CMAKE_OFF= USE_CVC4 +CVC4_BROKEN= solidity uses cvc4 which has been succeeded by cvc5 CMAKE_ARGS+= -DUSE_LD_GOLD=OFF -DTESTS=OFF \ -DRANGE_V3_INCLUDE_DIR="${LOCALBASE}/include" \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202301041151.304Bp1An055224>