[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#52933: [PATCH] gnu: widelands: Fix build against boost 1.77.
|
From: |
Leo Famulari |
|
Subject: |
bug#52933: [PATCH] gnu: widelands: Fix build against boost 1.77. |
|
Date: |
Sat, 1 Jan 2022 23:24:14 -0500 |
On Sat, Jan 01, 2022 at 06:34:14PM +0000, Felix Gruber wrote:
> Widelands fails to build with boost 1.77 due to a missing include in one
> of Wideland's header files that was previously indirectly included by
> boost 1.76.
>
> * gnu/packages/games.scm (widelands)[source]: Add patch.
> * gnu/packages/patches/widelands-add-missing-map-include.patch: New
> file.
> * gnu/local.mk (dist_patch_DATA): Add it.
Thanks! Pushed as a83dc5022b70d4ee96741311553c65bc636625ae