From 9fe9020645cbc052f16cd9a274a1a8364e5d6435 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Wed, 11 Oct 2023 08:14:46 +0300
Subject: [PATCH] gnu: csmith: Add source file-name.

* gnu/packages/linux.scm (csmith)[source]: Add file-name field.
---
 gnu/packages/linux.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index dd13f5829a..164662f92c 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -10480,6 +10480,7 @@ (define-public csmith
               (uri (git-reference
                     (url "https://github.com/csmith-project/csmith")
                     (commit (string-append "csmith-" version))))
+              (file-name (git-file-name name version))
               (sha256
                (base32
                 "0nhrsnv6cny14xz68qb1h30fbwc05adkisk51p3x63mydm60ddl3"))))