[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/09: gnu: z3: Declare source-file-name.
From: |
guix-commits |
Subject: |
05/09: gnu: z3: Declare source-file-name. |
Date: |
Mon, 17 Dec 2018 05:41:32 -0500 (EST) |
efraim pushed a commit to branch master
in repository guix.
commit 2d7b99b3c6848a8e6f994b74eb04bde472dc445b
Author: Efraim Flashner <address@hidden>
Date: Sun Dec 16 23:17:09 2018 +0200
gnu: z3: Declare source-file-name.
* gnu/packages/maths.scm (z3)[source]: Add missing 'file-name.
---
gnu/packages/maths.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index ad6aacf..1fd3e4b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3971,6 +3971,7 @@ as equations, scalars, vectors, and matrices.")
(method git-fetch)
(uri (git-reference (url home-page)
(commit (string-append "z3-" version))))
+ (file-name (git-file-name name version))
(sha256
(base32
"1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f"))))
- branch master updated (f8be766 -> 1e2ebf7), guix-commits, 2018/12/17
- 01/09: gnu: nmap: Don't hardcode python version., guix-commits, 2018/12/17
- 04/09: gnu: kicad: Don't hardcode version numbers., guix-commits, 2018/12/17
- 02/09: gnu: gess: Don't hardcode python version., guix-commits, 2018/12/17
- 05/09: gnu: z3: Declare source-file-name.,
guix-commits <=
- 03/09: gnu: avogadro: Don't hardcode python version., guix-commits, 2018/12/17
- 09/09: gnu: tree: Update to 1.8.0., guix-commits, 2018/12/17
- 08/09: gnu: elemental: Don't use unstable tarball., guix-commits, 2018/12/17
- 06/09: gnu: z3: Fix building on non-Intel machines., guix-commits, 2018/12/17
- 07/09: gnu: elemental: Fix indentation., guix-commits, 2018/12/17