;;; GNU Guix --- Functional package management for GNU
;;; 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.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages solidity)
  #:use-module (gnu packages base)
  #:use-module (gnu packages boost)
  #:use-module (gnu packages cpp)
  #:use-module (gnu packages maths)
  #:use-module (gnu packages serialization)
  #:use-module (gnu packages python)
  #:use-module (gnu packages ncurses)
  #:use-module (gnu packages pretty-print)
  #:use-module (guix packages)
  #:use-module (guix gexp)
  #:use-module (guix download)
  #:use-module (guix build-system cmake)
  #:use-module ((guix licenses) #:prefix license:))

(define-public solidity
  (package
    (name "solidity")
    (version "0.8.25")
    (source
     (origin
       (method url-fetch)
       (uri
        (string-append "https://github.com/ethereum/solidity/releases/download/v"
                       version "/solidity_" version ".tar.gz"))
       (sha256
        (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
            (lambda _
              (substitute* "CMakeLists.txt"
                (("include\\(fmtlib\\)")
                 "find_package(fmt)")
                (("include\\(range-v3\\)")
                 "find_package(range-v3)")
                (("include\\(jsoncpp\\)")
                 "find_package(jsoncpp)"))))
          (add-after 'unpack 'allow-newer-version-of-jsoncpp
            (lambda _
              (substitute* "libsolutil/JSON.cpp"
                (("JSONCPP_VERSION_PATCH ==") "JSONCPP_VERSION_PATCH >=")))))))
    (inputs
     (list boost-static fmt jsoncpp range-v3 z3))
    (native-inputs
     (list python ncurses findutils))
    (home-page "https://solidity.readthedocs.io")
    (synopsis "Contract-Oriented Programming Language")
    (description
     "Solidity is a statically-typed curly-braces programming language
designed for developing smart contracts that run on the Ethereum Virtual
Machine.")
    (license license:gpl3+)))
bel'>space:</td><td class='ctrl'><select name='ignorews' onchange='this.form.submit();'><option value='0' selected='selected'>include</option><option value='1'>ignore</option></select></td></tr><tr><td class='label'>mode:</td><td class='ctrl'><select name='dt' onchange='this.form.submit();'><option value='0' selected='selected'>unified</option><option value='1'>ssdiff</option><option value='2'>stat only</option></select></td></tr><tr><td/><td class='ctrl'><noscript><input type='submit' value='reload'/></noscript></td></tr></table></form></div><table summary='commit info' class='commit-info'>
<tr><th>author</th><td>Sharlatan Hellseher &lt;sharlatanus@gmail.com&gt;</td><td class='right'>2021-01-30 23:36:46 +0000</td></tr>
<tr><th>committer</th><td>Guillaume Le Vaillant &lt;glv@posteo.net&gt;</td><td class='right'>2021-01-31 10:27:36 +0100</td></tr>
<tr><th>commit</th><td colspan='2' class='oid'><a href='/guix/commit/build-aux?id=e05a36a823261c5d779bf0818804ccdf30693590'>e05a36a823261c5d779bf0818804ccdf30693590</a> (<a href='/guix/patch/build-aux?id=e05a36a823261c5d779bf0818804ccdf30693590'>patch</a>)</td></tr>
<tr><th>tree</th><td colspan='2' class='oid'><a href='/guix/tree/?id=e05a36a823261c5d779bf0818804ccdf30693590'>cfe343191dfd7e470a1a1adc038de3a9b33e4f92</a> /<a href='/guix/tree/build-aux?id=e05a36a823261c5d779bf0818804ccdf30693590'>build-aux</a></td></tr>
<tr><th>parent</th><td colspan='2' class='oid'><a href='/guix/commit/build-aux?id=e11055f0125a902fe091394480dd4206c687a98c'>e11055f0125a902fe091394480dd4206c687a98c</a> (<a href='/guix/diff/build-aux?id=e05a36a823261c5d779bf0818804ccdf30693590&amp;id2=e11055f0125a902fe091394480dd4206c687a98c'>diff</a>)</td></tr><tr><th>download</th><td colspan='2' class='oid'><a href='/guix/snapshot/guix-e05a36a823261c5d779bf0818804ccdf30693590.tar.gz'>guix-e05a36a823261c5d779bf0818804ccdf30693590.tar.gz</a><br/><a href='/guix/snapshot/guix-e05a36a823261c5d779bf0818804ccdf30693590.zip'>guix-e05a36a823261c5d779bf0818804ccdf30693590.zip</a><br/></td></tr></table>
<div class='commit-subject'>gnu: sbcl-puri: Update to 1.5.7-2.4bbab89.</div><div class='commit-msg'>* gnu/packages/lisp-xyz.scm (sbcl-puri): Update to 1.5.7-2.4bbab89.
  [home-page]: Fix URL.

Signed-off-by: Guillaume Le Vaillant &lt;glv@posteo.net&gt;
</div><div class='diffstat-header'><a href='/guix/diff/?id=e05a36a823261c5d779bf0818804ccdf30693590'>Diffstat</a> (limited to 'build-aux')</div><table summary='diffstat' class='diffstat'></table><div class='diffstat-summary'>0 files changed, 0 insertions, 0 deletions</div><table summary='diff' class='diff'><tr><td></td></tr></table></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>