svn commit: r490956 - head/lang/solidity

[Alex Dupre]

Author: ale
Date: Tue Jan 22 15:48:23 2019
New Revision: 490956
URL: https://svnweb.freebsd.org/changeset/ports/490956

Log:
  Update to 0.5.3 release.

Modified:
  head/lang/solidity/Makefile
  head/lang/solidity/distinfo

Modified: head/lang/solidity/Makefile
==============================================================================
--- head/lang/solidity/Makefile	Tue Jan 22 15:03:24 2019	(r490955)
+++ head/lang/solidity/Makefile	Tue Jan 22 15:48:23 2019	(r490956)
@@ -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

Modified: head/lang/solidity/distinfo
==============================================================================
--- head/lang/solidity/distinfo	Tue Jan 22 15:03:24 2019	(r490955)
+++ head/lang/solidity/distinfo	Tue Jan 22 15:48:23 2019	(r490956)
@@ -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