;;; Copyright © 2020 Martin Becze <mjbecze@riseup.net>
;;;
;;; 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 maths)
  #:use-module (gnu packages serialization)
  #:use-module (gnu packages python)
  #:use-module (gnu packages ncurses)
  #:use-module (guix packages)
  #:use-module (guix git-download)
  #:use-module (guix build-system cmake)
  #:use-module ((guix licenses) #:prefix license:))

(define-public solidity
  (let ((commit "3f05b770bdbf60eca866382049ea191dd701409a"))
    (package
      (name "solidity")
      (version "0.7.4")
      (source
       (origin
         (method git-fetch)
         (uri
          (git-reference
           (url "https://github.com/ethereum/solidity")
           (commit commit)))
         (file-name (git-file-name name version))
         (sha256
          (base32 "1mswhjymiwnd3n7h3sjvjx5x8223yih0yvfcr0zpqr4aizpfx5z8"))))
      (build-system cmake-build-system)
      (arguments
       `(#:phases
         (modify-phases %standard-phases
           (add-after 'unpack 'create-commit_hash.txt
             (lambda _
               (with-output-to-file "commit_hash.txt"
                 (lambda _
                   (display
                    (substrin<pre>
;; -*- mode: scheme; -*-
;; This is an operating system configuration template
;; for a &quot;bare bones&quot; setup, with no X11 display server.

(use-modules (gnu))
(use-service-modules networking ssh)
(use-package-modules screen ssh)

(operating-system
  (host-name &quot;komputilo&quot;)
  (timezone &quot;Europe/Berlin&quot;)
  (locale &quot;en_US.utf8&quot;)

  ;; Boot in &quot;legacy&quot; BIOS mode, assuming /dev/sdX is the
  ;; target hard disk, and &quot;my-root&quot; is the label of the target
  ;; root file system.
  (bootloader (bootloader-configuration
                (bootloader grub-bootloader)
                (targets &apos;(&quot;/dev/sdX&quot;))))
  ;; It&apos;s fitting to support the equally bare bones ‘-nographic’
  ;; QEMU option, which also nicely sidesteps forcing QWERTY.
  (kernel-arguments (list &quot;console=ttyS0,115200&quot;))
  (file-systems (cons (file-system
                        (device (file-system-label &quot;my-root&quot;))
                        (mount-point &quot;/&quot;)
                        (type &quot;ext4&quot;))
                      %base-file-systems))

  ;; This is where user accounts are specified.  The &quot;root&quot;
  ;; account is implicit, and is initially created with the
  ;; empty password.
  (users (cons (user-account
                (name &quot;alice&quot;)
                (comment &quot;Bob&apos;s sister&quot;)
                (group &quot;users&quot;)

                ;; Adding the account to the &quot;wheel&quot; group
                ;; makes it a sudoer.  Adding it to &quot;au