Date: Thu, 16 Dec 2021 19:48:55 GMT From: Alex Dupre <ale@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: c0b2860b45d9 - main - lang/solidity: fix build with newer z3. Message-ID: <202112161948.1BGJmtpt002720@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202112161948.1BGJmtpt002720>