svn commit: r490639 - in head/lang/solidity: . files
Alex Dupre
ale at FreeBSD.org
Fri Jan 18 15:53:18 UTC 2019
Author: ale
Date: Fri Jan 18 15:53:16 2019
New Revision: 490639
URL: https://svnweb.freebsd.org/changeset/ports/490639
Log:
Update to 0.5.2 release.
Deleted:
head/lang/solidity/files/patch-libevmasm_Assembly.cpp
Modified:
head/lang/solidity/Makefile
head/lang/solidity/distinfo
Modified: head/lang/solidity/Makefile
==============================================================================
--- head/lang/solidity/Makefile Fri Jan 18 14:06:34 2019 (r490638)
+++ head/lang/solidity/Makefile Fri Jan 18 15:53:16 2019 (r490639)
@@ -2,8 +2,7 @@
# $FreeBSD$
PORTNAME= solidity
-PORTVERSION= 0.4.25
-PORTREVISION= 2
+PORTVERSION= 0.5.2
CATEGORIES= lang
MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/
DISTNAME= ${PORTNAME}_${PORTVERSION}
@@ -16,11 +15,16 @@ LICENSE= GPLv3
BUILD_DEPENDS= boost-libs>=0:devel/boost-libs
LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp
-OPTIONS_DEFINE= SMT
-SMT_DESC= SMT Checker
-SMT_LIB_DEPENDS=libz3.so:math/z3
-
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
+CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4
+Z3_CMAKE_OFF= USE_Z3
+CVC4_CMAKE_OFF= USE_CVC4
CMAKE_ARGS+= -DUSE_LD_GOLD=OFF -DTESTS=OFF \
-DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \
Modified: head/lang/solidity/distinfo
==============================================================================
--- head/lang/solidity/distinfo Fri Jan 18 14:06:34 2019 (r490638)
+++ head/lang/solidity/distinfo Fri Jan 18 15:53:16 2019 (r490639)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1539260201
-SHA256 (solidity_0.4.25.tar.gz) = 8172c126973eae1d9d6c7b5071910a9c7475ac64df3945f755cee66104add72d
-SIZE (solidity_0.4.25.tar.gz) = 1159514
+TIMESTAMP = 1547820080
+SHA256 (solidity_0.5.2.tar.gz) = 95dd71f2e2ca2064bfcdc4104455f6cacb315dc29a27d5f6a7f7ef8eb0ec2ee7
+SIZE (solidity_0.5.2.tar.gz) = 1371077
More information about the svn-ports-head
mailing list