[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/07: gnu: z3: Fetch source using git.
From: |
Marius Bakke |
Subject: |
01/07: gnu: z3: Fetch source using git. |
Date: |
Mon, 19 Nov 2018 18:59:51 -0500 (EST) |
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
- branch master updated (cc661cb -> 30f0fef), Marius Bakke, 2018/11/19
- 01/07: gnu: z3: Fetch source using git.,
Marius Bakke <=
- 02/07: gnu: z3: Update to 4.8.1., Marius Bakke, 2018/11/19
- 04/07: gnu: python-joblib: Update to 0.13.0., Marius Bakke, 2018/11/19
- 05/07: gnu: python-joblib: Update home page., Marius Bakke, 2018/11/19
- 03/07: gnu: python-natsort: Update to 5.4.1., Marius Bakke, 2018/11/19
- 06/07: gnu: fluidsynth: Update to 2.0.2., Marius Bakke, 2018/11/19
- 07/07: gnu: libwebp: Update to 1.0.1., Marius Bakke, 2018/11/19