diff options
| author | ale <ale@FreeBSD.org> | 2019-01-22 23:48:23 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2019-01-22 23:48:23 +0800 |
| commit | b7964d96f86aeb03b69078b51eb7bef455ff2a98 (patch) | |
| tree | 6bf1be15186a44a2e7680dd8ffa0137de1f5f134 /lang/solidity | |
| parent | 537301a5bf64dc44976354bfdd622aa335fe93c0 (diff) | |
| download | freebsd-ports-gnome-b7964d96f86aeb03b69078b51eb7bef455ff2a98.tar.gz freebsd-ports-gnome-b7964d96f86aeb03b69078b51eb7bef455ff2a98.tar.zst freebsd-ports-gnome-b7964d96f86aeb03b69078b51eb7bef455ff2a98.zip | |
Update to 0.5.3 release.
Diffstat (limited to 'lang/solidity')
| -rw-r--r-- | lang/solidity/Makefile | 3 | ||||
| -rw-r--r-- | lang/solidity/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 7722cafb8620..2c0a3809de52 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= solidity -PORTVERSION= 0.5.2 +PORTVERSION= 0.5.3 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -18,7 +18,6 @@ LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp USES= cmake compiler:c++14-lang OPTIONS_DEFINE= Z3 CVC4 -OPTIONS_DEFAULT= Z3 CVC4 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 ea2dd0ebbec8..79d110da0e76 100644 --- a/lang/solidity/distinfo +++ b/lang/solidity/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1547820080 -SHA256 (solidity_0.5.2.tar.gz) = 95dd71f2e2ca2064bfcdc4104455f6cacb315dc29a27d5f6a7f7ef8eb0ec2ee7 -SIZE (solidity_0.5.2.tar.gz) = 1371077 +TIMESTAMP = 1548171889 +SHA256 (solidity_0.5.3.tar.gz) = b067991ee2498677ad24b72cd669b5f48c8f57844a27eada9f593e442c42c277 +SIZE (solidity_0.5.3.tar.gz) = 1403883 |