01/07: gnu: z3: Fetch source using git.

[Marius Bakke]

mbakke pushed a commit to branch master
in repository guix.

commit fb525bfd83ac1721e138420a01e7075c25b137c4
Author: Marius Bakke <address@hidden>
Date:   Sat Nov 17 21:18:43 2018 +0100

    gnu: z3: Fetch source using git.
    
    * gnu/packages/maths.scm (z3)[source]: Change to GIT-FETCH.
---
 gnu/packages/maths.scm | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 82abc22..22451c3 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3947,14 +3947,14 @@ as equations, scalars, vectors, and matrices.")
   (package
     (name "z3")
     (version "4.5.0")
+    (home-page "https://github.com/Z3Prover/z3";)
     (source (origin
-              (method url-fetch)
-              (uri (string-append
-                    "https://github.com/Z3Prover/z3/archive/z3-";
-                    version ".tar.gz"))
+              (method git-fetch)
+              (uri (git-reference (url home-page)
+                                  (commit (string-append "z3-" version))))
               (sha256
                (base32
-                "032a5lvji2liwmc25jv52bdrhimqflvqbpg77ccaq1jykhiivbmf"))))
+                "0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp"))))
     (build-system cmake-build-system)
     (arguments
      `(#:configure-flags
@@ -3983,7 +3983,6 @@ as equations, scalars, vectors, and matrices.")
     (synopsis "Theorem prover")
     (description "Z3 is a theorem prover and @dfn{satisfiability modulo
 theories} (SMT) solver.  It provides a C/C++ API, as well as Python bindings.")
-    (home-page "https://github.com/Z3Prover/z3";)
     (license license:expat)))
 
 (define-public cubicle