git: c0b2860b45d9 - main - lang/solidity: fix build with newer z3.

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Alex Dupre <ale_at_FreeBSD.org>
Date: Thu, 16 Dec 2021 19:48:55 UTC

The branch main has been updated by ale:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c0b2860b45d9d0512929b994ba7ef739337d79dc

commit c0b2860b45d9d0512929b994ba7ef739337d79dc
Author:     Alex Dupre <ale@FreeBSD.org>
AuthorDate: 2021-12-16 19:48:22 +0000
Commit:     Alex Dupre <ale@FreeBSD.org>
CommitDate: 2021-12-16 19:48:51 +0000

    lang/solidity: fix build with newer z3.
---
 lang/solidity/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile
index b502fd8859fd..44fd5e4e1afe 100644
--- a/lang/solidity/Makefile
+++ b/lang/solidity/Makefile
@@ -34,7 +34,8 @@ CVC4_CMAKE_OFF=	USE_CVC4
 CMAKE_ARGS+=	-DUSE_LD_GOLD=OFF -DTESTS=OFF \
 		-DRANGE_V3_INCLUDE_DIR="${LOCALBASE}/include" \
 		-DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \
-		-DJSONCPP_LIB_DIR:STRING="${LOCALBASE}/lib"
+		-DJSONCPP_LIB_DIR:STRING="${LOCALBASE}/lib" \
+		-DSTRICT_Z3_VERSION=OFF
 
 PLIST_FILES=	bin/solc \
 		bin/solidity-upgrade \