Subject: bug#65309: closed (Re: bug#65309: [PATCH] gnu: knights: Fix build.)

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 23 Aug 2023 11:01:01 +0000

Your bug report

#65309: [PATCH] gnu: knights: Fix build.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
65309: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65309
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#65309: [PATCH] gnu: knights: Fix build.
From: 宋文武 <[email-masked]>
To: [email-masked]
Cc: 宋文武 <[email-masked]>, Liliana Marie Prikler <[email-masked]>
Date: Wed, 23 Aug 2023 19:00:27 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed now, closing.

Subject: [PATCH] gnu: knights: Fix build.
From: [email-masked]
To: [email-masked]
Cc: 宋文武 <[email-masked]>
Date: Tue, 15 Aug 2023 19:39:52 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

From: 宋文武 <[email-masked]>

* gnu/packages/games.scm (knights)[source]: Add snippet.
---
 gnu/packages/games.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm
index a5fa19fc20..3d4e87a2db 100644
--- a/gnu/packages/games.scm
+++ b/gnu/packages/games.scm
@@ -1890,7 +1890,13 @@ (define-public knights
                                   version "_src.tar.gz"))
               (sha256
                (base32
-                "18vp2ygvn0s0jz8rm585jqf6hjqkam1ximq81k0r9hpmfj7wb88f"))))
+                "18vp2ygvn0s0jz8rm585jqf6hjqkam1ximq81k0r9hpmfj7wb88f"))
+              (modules '((guix build utils)))
+              (snippet
+               ;; Fix a missing include for std::map.
+               #~(substitute* "src/shared/impl/lua_func_wrapper.cpp"
+                   (("#include \"misc[.]hpp\"" x)
+                    (string-append "#include <map>\n" x))))))
     (build-system gnu-build-system)
     (arguments
      '(#:make-flags

base-commit: f2943958a224beda05a3d040876df2a7285cd7a2
-- 
2.41.0