From 5a69a52d746bb542ee70088679a9b3747182b89a Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Mon, 6 May 2024 17:41:07 +0300 Subject: gnu: solidity: Update to 0.8.25. * gnu/packages/solidity.scm (solidity): Update to 0.8.25. [arguments]: Add configure-flag to allow an older version of z3. [inputs]: Replace fmt-8.0 with fmt. Change-Id: I1501d16323566c066c58c1c4bbf90dd17a23f021 --- gnu/packages/solidity.scm | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'gnu/packages/solidity.scm') diff --git a/gnu/packages/solidity.scm b/gnu/packages/solidity.scm index 6e32ff9ee1..c3111a22fd 100644 --- a/gnu/packages/solidity.scm +++ b/gnu/packages/solidity.scm @@ -1,5 +1,6 @@ ;;; Copyright © 2020 Martin Becze ;;; Copyright © 2022 Zhu Zihao +;;; Copyright © 2024 Efraim Flashner ;;; ;;; This file is part of GNU Guix. ;;; @@ -34,7 +35,7 @@ (define-module (gnu packages solidity) (define-public solidity (package (name "solidity") - (version "0.8.15") + (version "0.8.25") (source (origin (method url-fetch) @@ -42,10 +43,12 @@ (define-public solidity (string-append "https://github.com/ethereum/solidity/releases/download/v" version "/solidity_" version ".tar.gz")) (sha256 - (base32 "0j9a8y5fizarl9yhbnwvd0x1nm6qsbskqb7j1fwsyqx47w5sa82p")))) + (base32 "0gr7mcrng7lkqx968n48js77kwz7fk8230yj0bhp1vw5hdglpxfy")))) (build-system cmake-build-system) (arguments (list + #:configure-flags + #~(list "-DSTRICT_Z3_VERSION=OFF") #:phases #~(modify-phases %standard-phases (add-after 'unpack 'unbundle-3rd-party-dependencies @@ -62,7 +65,7 @@ (define-public solidity (substitute* "libsolutil/JSON.cpp" (("JSONCPP_VERSION_PATCH ==") "JSONCPP_VERSION_PATCH >="))))))) (inputs - (list boost-static fmt-8.0 jsoncpp range-v3 z3)) + (list boost-static fmt jsoncpp range-v3 z3)) (native-inputs (list python ncurses findutils)) (home-page "https://solidity.readthedocs.io") -- cgit v1.2.3