diff options
| author | ale <ale@FreeBSD.org> | 2019-02-14 16:06:47 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2019-02-14 16:06:47 +0800 |
| commit | 603dac6787aef2b2af4f05bce42bb164ab8ce05d (patch) | |
| tree | 8974444e380b6495afac972590d47285b1cec4b6 /lang | |
| parent | 4f7c6caf9704688a3d9eebb46cd37d898efd2928 (diff) | |
| download | freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.tar.gz freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.tar.zst freebsd-ports-gnome-603dac6787aef2b2af4f05bce42bb164ab8ce05d.zip | |
Update to 0.5.4 release and enable CVC4 SMT Checker by default.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/solidity/Makefile | 5 | ||||
| -rw-r--r-- | lang/solidity/distinfo | 6 |
2 files changed, 6 insertions, 5 deletions
diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 2c0a3809de52..9d1c072fb632 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= solidity -PORTVERSION= 0.5.3 +PORTVERSION= 0.5.4 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -18,10 +18,11 @@ LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp USES= cmake compiler:c++14-lang OPTIONS_DEFINE= Z3 CVC4 +OPTIONS_DEFAULT=CVC4 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 +CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4 libgmp.so:math/gmp Z3_CMAKE_OFF= USE_Z3 CVC4_CMAKE_OFF= USE_CVC4 diff --git a/lang/solidity/distinfo b/lang/solidity/distinfo index 79d110da0e76..0af200049237 100644 --- a/lang/solidity/distinfo +++ b/lang/solidity/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1548171889 -SHA256 (solidity_0.5.3.tar.gz) = b067991ee2498677ad24b72cd669b5f48c8f57844a27eada9f593e442c42c277 -SIZE (solidity_0.5.3.tar.gz) = 1403883 +TIMESTAMP = 1550073083 +SHA256 (solidity_0.5.4.tar.gz) = 393a28d11b291d2f0231503f52f3a04c2607fbbd6c5f1c0c9142732be8062054 +SIZE (solidity_0.5.4.tar.gz) = 1400250 |