diff mbox series

[bug#56107] : Update z3 to 4.8.17 and use cmake to build the package.

Message ID 86fsji7con.fsf@163.com
State Accepted
Headers show
Series [bug#56107] : Update z3 to 4.8.17 and use cmake to build the package. | expand

Checks

Context Check Description
cbaines/applying patch fail View Laminar job
cbaines/issue success View issue

Commit Message

Zhu Zihao July 3, 2022, 9:43 a.m. UTC
I update the solidity to 0.8.15 and now it can be built with z3 4.8.

Comments

Ludovic Courtès July 4, 2022, 9:14 a.m. UTC | #1
Hi,

Zhu Zihao <all_but_last@163.com> skribis:

> I update the solidity to 0.8.15 and now it can be built with z3 4.8.

Perfect; applied, thanks!

Ludo’.
diff mbox series

Patch

From dca38a7c446f38417ae914d2f71c0568fba2cb8a Mon Sep 17 00:00:00 2001
From: Zhu Zihao <all_but_last@163.com>
Date: Sun, 3 Jul 2022 17:39:27 +0800
Subject: [PATCH 6/6] gnu: solidity: Update to 0.8.15.

* gnu/packages/solidity.scm (solidity): Update to 0.8.15.
[source]: Use Github release.
[arguments]<#:phases>: Remove phase 'create-commit_hash.txt'.
Restore phase 'configure' and phase 'install'.
Remove modifications applied to the phase 'build' and phase 'check'.
Add phase 'unbundle-3rd-party-dependencies'.
[inputs]: Add fmt-for-solidity, range-v3.
---
 gnu/packages/solidity.scm | 94 +++++++++++++++------------------------
 1 file changed, 37 insertions(+), 57 deletions(-)

diff --git a/gnu/packages/solidity.scm b/gnu/packages/solidity.scm
index 606e078e42..8e0bd91205 100644
--- a/gnu/packages/solidity.scm
+++ b/gnu/packages/solidity.scm
@@ -19,73 +19,53 @@ 
 (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 pretty-print)
   #:use-module (gnu packages python)
   #:use-module (gnu packages ncurses)
   #:use-module (guix packages)
   #:use-module (guix gexp)
+  #:use-module (guix download)
   #: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
-       (list
-        #:phases
-        #~(modify-phases %standard-phases
-            (add-after 'unpack 'create-commit_hash.txt
-              (lambda _
-                (with-output-to-file "commit_hash.txt"
-                  (lambda _
-                    (display
-                     (substring #$commit 0 8))))))
-            (delete 'configure)
-            (delete 'install)
-            (replace 'build
-              (lambda* (#:key outputs #:allow-other-keys)
-                ;; Unbundle jsoncpp
-                (delete-file "./cmake/jsoncpp.cmake")
-                (substitute* "CMakeLists.txt"
-                  (("include\\(jsoncpp\\)") ""))
-                ;; Bug list is always sorted since we only build releases
-                (substitute* "./test/cmdlineTests.sh"
-                  (("\"\\$REPO_ROOT\"/scripts/update_bugs_by_version\\.py") ""))
-                (substitute* "./scripts/build.sh"
-                  (("sudo\\ make\\ install") "make install")
-                  (("cmake\\ ..")
-                   (string-append "cmake .. -DCMAKE_INSTALL_PREFIX="
-                                  (assoc-ref outputs "out"))))
-                (setenv "CIRCLECI" "1")
-                (invoke "./scripts/build.sh")
-                #t))
-            (replace 'check
-              (lambda _
-                (invoke "./scripts/tests.sh")
-                #t)))))
-      (inputs
-       (list boost-static jsoncpp 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
+  (package
+    (name "solidity")
+    (version "0.8.15")
+    (source
+     (origin
+       (method url-fetch)
+       (uri
+        (string-append "https://github.com/ethereum/solidity/releases/download/v"
+                       version "/solidity_" version ".tar.gz"))
+       (sha256
+        (base32 "0j9a8y5fizarl9yhbnwvd0x1nm6qsbskqb7j1fwsyqx47w5sa82p"))))
+    (build-system cmake-build-system)
+    (arguments
+     (list
+      #: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)")))))))
+    (inputs
+     (list boost-static fmt-for-solidity 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+))))
+    (license license:gpl3+)))
-- 
2.36.1