gnu: noweb: Declare a source file-name.
authorEfraim Flashner <efraim@flashner.co.il>
Sun, 19 Jan 2020 07:31:30 +0000 (09:31 +0200)
committerEfraim Flashner <efraim@flashner.co.il>
Sun, 19 Jan 2020 07:31:55 +0000 (09:31 +0200)
* gnu/packages/noweb.scm (noweb)[source]: Add file-name field.

gnu/packages/noweb.scm

index 77e88cc..7d8d402 100644 (file)
@@ -35,6 +35,7 @@
              (url "https://github.com/nrnrnr/noweb")
              (commit (string-append "v" (string-join (string-split version #\.)
                                                      "_")))))
+       (file-name (git-file-name name version))
        (sha256
         (base32 "1160i2ghgzqvnb44kgwd6s3p4jnk9668rmc15jlcwl7pdf3xqm95"))))
     (build-system gnu-build-system)