diff options
author | Paul van der Walt <paul@denknerd.org> | 2015-10-22 11:22:36 +0200 |
---|---|---|
committer | Paul van der Walt <paul@denknerd.org> | 2015-10-22 16:18:17 +0200 |
commit | ff9a5f7e97622058940260c89b75122daa64d4f5 (patch) | |
tree | 421ce797b323fffb6d23f4aa3d472779ddd54b68 /gnu | |
parent | 566fc7fa139218d216671135e03f3339dc76e610 (diff) | |
download | patches-ff9a5f7e97622058940260c89b75122daa64d4f5.tar patches-ff9a5f7e97622058940260c89b75122daa64d4f5.tar.gz |
gnu: dosbox: Add file-name property.
* gnu/packages/games.scm (dosbox): Add file-name property, since the
package is built from an SVN checkout.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/games.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm index 9d2058af43..9c44bbe3e0 100644 --- a/gnu/packages/games.scm +++ b/gnu/packages/games.scm @@ -1060,6 +1060,7 @@ next campaign.") (uri (svn-reference (url "http://svn.code.sf.net/p/dosbox/code-0/dosbox/trunk/") (revision 3947))) + (file-name (string-append name "-" version "-checkout")) ;; Use SVN head, since the last release (2010) is incompatible ;; with GCC 4.8+ (see ;; <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=624976>). |