mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
Code Issues Releases Activity

lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5

Browse Source
This commit is contained in:
Yuri Victorovich 2023-01-04 03:49:23 -08:00
parent a41f63c03e
commit 76810a270c
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lang/solidity/Makefile
View File

@ -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" \