diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 761ef6608014..8b2a23a646a8 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -1,43 +1,43 @@ PORTNAME= solidity -DISTVERSION= 0.8.31-pre.1 +DISTVERSION= 0.8.31 CATEGORIES= lang MASTER_SITES= https://github.com/argotorg/solidity/releases/download/v${DISTVERSION}/ DISTNAME= ${PORTNAME}_${DISTVERSION} MAINTAINER= ale@FreeBSD.org COMMENT= Solidity Contract-Oriented Programming Language WWW= https://github.com/argotorg/solidity LICENSE= GPLv3 NOT_FOR_ARCHS= powerpc powerpc64 powerpcspe NOT_FOR_ARCHS_REASON= solidity currently does not support big endian systems BUILD_DEPENDS= boost-libs>=0:devel/boost-libs \ libfmt>=0:devel/libfmt \ nlohmann-json>=0:devel/nlohmann-json \ range-v3>=0:devel/range-v3 USES= cmake compiler:c++14-lang cpe CPE_VENDOR= ${PORTNAME}lang OPTIONS_DEFINE= Z3 CVC5 OPTIONS_DEFAULT=Z3 Z3_DESC= SMT Checker via Z3 CVC5_DESC= SMT Checker via CVC5 Z3_RUN_DEPENDS= z3:math/z3 CVC5_RUN_DEPENDS= cvc5:math/cvc5 CMAKE_ARGS+= -DTESTS=OFF \ -DIGNORE_VENDORED_DEPENDENCIES=ON PLIST_FILES= bin/solc \ bin/yul-phaser .include .if ${OPSYS} == FreeBSD CXXFLAGS+= -Wno-unqualified-std-cast-call .endif .include diff --git a/lang/solidity/distinfo b/lang/solidity/distinfo index c9c3e7c74b86..494ba8a7f11f 100644 --- a/lang/solidity/distinfo +++ b/lang/solidity/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1761558943 -SHA256 (solidity_0.8.31-pre.1.tar.gz) = 9ddd270995d3e6314795a287207dae8d30bf426dc04752f0a4759846c601a2f5 -SIZE (solidity_0.8.31-pre.1.tar.gz) = 12852126 +TIMESTAMP = 1764835395 +SHA256 (solidity_0.8.31.tar.gz) = 1efcf5af92e39499ce64d9cb33ba1cc1aa43d0aba107472915d732bf4a31c837 +SIZE (solidity_0.8.31.tar.gz) = 7562646