Date: Thu, 14 Feb 2019 08:06:47 +0000 (UTC) From: Alex Dupre <ale@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r492905 - head/lang/solidity Message-ID: <201902140806.x1E86lsJ092437@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: ale Date: Thu Feb 14 08:06:47 2019 New Revision: 492905 URL: https://svnweb.freebsd.org/changeset/ports/492905 Log: Update to 0.5.4 release and enable CVC4 SMT Checker by default. Modified: head/lang/solidity/Makefile head/lang/solidity/distinfo Modified: head/lang/solidity/Makefile ============================================================================== --- head/lang/solidity/Makefile Thu Feb 14 07:39:58 2019 (r492904) +++ head/lang/solidity/Makefile Thu Feb 14 08:06:47 2019 (r492905) @@ -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 Modified: head/lang/solidity/distinfo ============================================================================== --- head/lang/solidity/distinfo Thu Feb 14 07:39:58 2019 (r492904) +++ head/lang/solidity/distinfo Thu Feb 14 08:06:47 2019 (r492905) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201902140806.x1E86lsJ092437>