From nobody Thu Dec 16 19:48:55 2021 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id C849918F1DFA; Thu, 16 Dec 2021 19:48:55 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4JFN3C3nZgz4hZc; Thu, 16 Dec 2021 19:48:55 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 626636510; Thu, 16 Dec 2021 19:48:55 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 1BGJmtEo002721; Thu, 16 Dec 2021 19:48:55 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 1BGJmtpt002720; Thu, 16 Dec 2021 19:48:55 GMT (envelope-from git) Date: Thu, 16 Dec 2021 19:48:55 GMT Message-Id: <202112161948.1BGJmtpt002720@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Alex Dupre Subject: git: c0b2860b45d9 - main - lang/solidity: fix build with newer z3. List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: ale X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: c0b2860b45d9d0512929b994ba7ef739337d79dc Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1639684135; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=xgvQMX1o7mc6APw6JUUSo++ghHBo1/A7hueohWjjqn0=; b=t6O7NCOTP3/yoYvE13tjraMPCZJv88u7ObSaCDX6qj/yQhwU7z0Gjb0+HdDaiwq81h26Hi F3a/HWfz0vry+Z99uxHr0a28HZ+g3GXJvNWWM+dYhQiHbthegDBFLilxCnD9Vcsby0/j+8 DR5PpZ2z4WhvHQ+VaB/JqW0howFjABeA7B4gQmvgwwaMaBOqRErdPpc0p13dd+o23Foy+M mxuCddd7njQmJOo2VY3UcTwZhHPUhXuDpp4Pa+NtziUxEqbGSN5tmudWc11V1wMq7Z49st d8pikyUXaAnTkQ3ervNn3QmZjttM4fe1tGtGpaIOTOVa4CG/gYfvQjSN3j8TcQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1639684135; a=rsa-sha256; cv=none; b=KNQz9/denKYxMD+y7eXTkM2C4aYi1RKom53l6LKf8M5i5xfUx4mUSy+BHRxl7LZBF95iWN x/5MGDhlvrrp7FyCJjN5sV7a1nNKWoXmRoFJRP4v+pko/pq++CnEZgFN0PhRZC+Jr+MwMp Slbu5e5k4p03Uzt7KHAdSXMhzzhyudhHIYwsHknhvAc9DNsNNNOhNQ2DIcw2i4PIIqDQ/6 NrC/jalNM7PqsS8r8YeICgumHKMJe8bhFp3oFBz8+haydRjfF7rrn1eaRL1FXk4IoYRy3v 6cieJlyVlQHqJ174DNj45Hv9pIFnBmsxJR4WpfuRcVvYJwonAme6RPhxx+iMpw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by ale: URL: https://cgit.FreeBSD.org/ports/commit/?id=c0b2860b45d9d0512929b994ba7ef739337d79dc commit c0b2860b45d9d0512929b994ba7ef739337d79dc Author: Alex Dupre AuthorDate: 2021-12-16 19:48:22 +0000 Commit: Alex Dupre 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 \