diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-05-06 17:41:07 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-05-06 23:16:53 +0300 |
| commit | 5a69a52d746bb542ee70088679a9b3747182b89a (patch) | |
| tree | bb745eae96103d74a90a89ff023c6edb47014186 | |
| parent | 614bd4a7772e665857d41eacfd7ff5ab2e981553 (diff) | |
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
| -rw-r--r-- | gnu/packages/solidity.scm | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gnu/packages/solidity.scm b/gnu/packages/solidity.scm index 6e32ff9ee18..c3111a22fd0 100644 --- a/gnu/packages/solidity.scm +++ b/gnu/packages/solidity.scm @@ -1,5 +1,6 @@ ;;; Copyright © 2020 Martin Becze <mjbecze@riseup.net> ;;; Copyright © 2022 Zhu Zihao <all_but_last@163.com> +;;; Copyright © 2024 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -34,7 +35,7 @@ (define-public solidity (package (name "solidity") - (version "0.8.15") + (version "0.8.25") (source (origin (method url-fetch) @@ -42,10 +43,12 @@ (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 @@ (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") |