diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2022-09-09 10:52:25 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2022-09-09 10:53:53 +0000 |
| commit | 23136c0ed8656fbefbb4289390cec8144e90bd97 (patch) | |
| tree | 16a762efeb8da66d27d9e597e8e6bbf70a7d2c53 | |
| parent | 07c5f71db8c5e915b2b8723ffc0d6b7ac68ee5d2 (diff) | |
| download | ports-23136c0ed8656fbefbb4289390cec8144e90bd97.tar.gz ports-23136c0ed8656fbefbb4289390cec8144e90bd97.zip | |
labg/solidity: update to 0.8.17 and fix build on i386
| -rw-r--r-- | lang/solidity/Makefile | 3 | ||||
| -rw-r--r-- | lang/solidity/distinfo | 6 |
2 files changed, 5 insertions, 4 deletions
diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index f071e8960985..e9b571eba936 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -1,5 +1,5 @@ PORTNAME= solidity -PORTVERSION= 0.8.16 +PORTVERSION= 0.8.17 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -23,6 +23,7 @@ CPE_VENDOR= ${PORTNAME}lang OPTIONS_DEFINE= 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 diff --git a/lang/solidity/distinfo b/lang/solidity/distinfo index 1d03dd7fd566..33967dffbf87 100644 --- a/lang/solidity/distinfo +++ b/lang/solidity/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1660400500 -SHA256 (solidity_0.8.16.tar.gz) = ba1a690a3583f17c039e6d480970f687f959d9c0fcb2e77ac72a0a0c7efa2056 -SIZE (solidity_0.8.16.tar.gz) = 3261000 +TIMESTAMP = 1662704814 +SHA256 (solidity_0.8.17.tar.gz) = b0337ab0125be7e54461ab76b6e483f5e912d3f3e4b0c89bd00cfb0a3d6a5afd +SIZE (solidity_0.8.17.tar.gz) = 3119267 |