diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-07-19 18:00:41 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-07-19 18:00:41 +0200 |
| commit | 57d87f435fcb05a8e44a6d0545d0212429826bd0 (patch) | |
| tree | 930059488e65f6f747ca4b3aafa3a5ddbf5c0821 /gnu/packages/gnome.scm | |
| parent | b16e08279938fae329e62154da749860bdccef04 (diff) | |
gnu: supertux: Adjust for recent GCC and Boost.
* gnu/packages/patches/supertux-fix-build-with-gcc5.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/games.scm (supertux)[source](patches): Remove.
[arguments]: Adjust <#:configure-flags>.
Diffstat (limited to 'gnu/packages/gnome.scm')
0 files changed, 0 insertions, 0 deletions