diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-12-16 23:17:09 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-12-17 12:08:05 +0200 |
| commit | 2d7b99b3c6848a8e6f994b74eb04bde472dc445b (patch) | |
| tree | 039a2b64ca27ee70764e8b37695a31c24ac26f81 /gnu | |
| parent | 917f5ee75c836028e277d7510fa0a226dd4cb20f (diff) | |
gnu: z3: Declare source-file-name.
* gnu/packages/maths.scm (z3)[source]: Add missing 'file-name.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/maths.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ad6aacf9c9..1fd3e4b00e 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")))) |