From ff9a5f7e97622058940260c89b75122daa64d4f5 Mon Sep 17 00:00:00 2001
From: Paul van der Walt <paul@denknerd.org>
Date: Thu, 22 Oct 2015 11:22:36 +0200
Subject: [PATCH] gnu: dosbox: Add file-name property.

* gnu/packages/games.scm (dosbox): Add file-name property, since the
  package is built from an SVN checkout.
---
 gnu/packages/games.scm | 1 +
 1 file changed, 1 insertion(+)

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 @@ (define-public dosbox
               (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>).