diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 5a66ed838e32..10766d583385 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -1,54 +1,54 @@ PORTNAME= solidity -PORTVERSION= 0.8.19 +PORTVERSION= 0.8.20 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} MAINTAINER= ale@FreeBSD.org COMMENT= Solidity Contract-Oriented Programming Language WWW= https://github.com/ethereum/solidity LICENSE= GPLv3 NOT_FOR_ARCHS= powerpc powerpc64 powerpcspe sparc64 NOT_FOR_ARCHS_REASON= solidity currently does not support big endian systems BUILD_DEPENDS= boost-libs>=0:devel/boost-libs \ libfmt>=0:devel/libfmt \ range-v3>=0:devel/range-v3 LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp USES= cmake compiler:c++14-lang cpe CPE_VENDOR= ${PORTNAME}lang OPTIONS_DEFINE= Z3 CVC4 OPTIONS_DEFAULT=Z3 #CVC4 OPTIONS_EXCLUDE_i386= Z3 Z3_DESC= SMT Checker via Z3 CVC4_DESC= SMT Checker via CVC4 Z3_LIB_DEPENDS= libz3.so:math/z3 CVC4_LIB_DEPENDS= libcvc5.so:math/cvc5 libgmp.so:math/gmp Z3_CMAKE_OFF= USE_Z3 CVC4_CMAKE_OFF= USE_CVC4 CVC4_BROKEN= solidity uses cvc4 which has been succeeded by cvc5 CMAKE_ARGS+= -DUSE_LD_GOLD=OFF -DTESTS=OFF \ -DRANGE_V3_INCLUDE_DIR="${LOCALBASE}/include" \ -DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \ -DJSONCPP_LIB_DIR:STRING="${LOCALBASE}/lib" \ -DSTRICT_Z3_VERSION=OFF PLIST_FILES= bin/solc \ bin/yul-phaser .include .if ${OPSYS} == FreeBSD && ${OSVERSION} >= 1400079 CXXFLAGS+= -Wno-unqualified-std-cast-call .endif pre-patch: @${CP} ${FILESDIR}/fmtlib.cmake ${FILESDIR}/jsoncpp.cmake ${WRKSRC}/cmake/ @${REINPLACE_CMD} '/EthCcache/d' ${WRKSRC}/CMakeLists.txt .include diff --git a/lang/solidity/distinfo b/lang/solidity/distinfo index 2975d1f9f3e6..82d377a540b0 100644 --- a/lang/solidity/distinfo +++ b/lang/solidity/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1677485956 -SHA256 (solidity_0.8.19.tar.gz) = 9bc195e1695f271b65326c73a12223377d52ae4b4fee10589c5e7bde6fa44194 -SIZE (solidity_0.8.19.tar.gz) = 3239230 +TIMESTAMP = 1683798989 +SHA256 (solidity_0.8.20.tar.gz) = 8a54043ebbd436b8b38d625d90ceb69dce07c150822fb6d796e440ccc2c17981 +SIZE (solidity_0.8.20.tar.gz) = 3263637