05/09: gnu: z3: Declare source-file-name.

[guix-commits]

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"))))