diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-12-23 21:40:58 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-12-23 21:41:16 +0200 |
| commit | 472c36bd36696cfe744e8a7b8f4d4ac5800e0f68 (patch) | |
| tree | c8f87fb72c5add933ee72b548f1fd25e8a84b89c /gnu/local.mk | |
| parent | 6556c00afa9057df2022df6c4b30d10312ef83ff (diff) | |
| download | patches-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.tar patches-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.tar.gz | |
gnu: pingus: Fix building.
* gnu/packages/games.scm (pingus)[source]: Use 'git-fetch'. Add patch to
update used boost headers.
* gnu/packages/patches/pingus-boost-headers.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index c1a873ed0a..3e205a8f0a 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1045,6 +1045,7 @@ dist_patch_DATA = \ %D%/packages/patches/pinball-src-deps.patch \ %D%/packages/patches/pinball-system-ltdl.patch \ %D%/packages/patches/pinentry-efl.patch \ + %D%/packages/patches/pingus-boost-headers.patch \ %D%/packages/patches/pingus-sdl-libs-config.patch \ %D%/packages/patches/pius.patch \ %D%/packages/patches/pixman-CVE-2016-5296.patch \ |