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/build | |
parent | 6556c00afa9057df2022df6c4b30d10312ef83ff (diff) | |
download | guix-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.tar.gz guix-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.zip |
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/build')
0 files changed, 0 insertions, 0 deletions