gnu: Add kiki.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 12 Apr 2017 09:28:01 +0000 (11:28 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 13 Apr 2017 11:08:26 +0000 (13:08 +0200)
commitbd71525b7ad1bb4f6896793ca7f6283e178b3a06
tree4e1d62800f1f2573fbe33cf5dd33abb6061d91fe
parent0da0f434c61d35739ab7f3741a34daf1e82133e7
gnu: Add kiki.

* gnu/packages/games.scm (kiki): New variable.
* gnu/packages/patches/kiki-level-selection-crash.patch,
gnu/packages/patches/kiki-makefile.patch,
gnu/packages/patches/kiki-missing-includes.patch,
gnu/packages/patches/kiki-portability-64bit.patch: New patches.
* gnu/local.mk (dist_patch_DATA): Add them.
gnu/local.mk
gnu/packages/games.scm
gnu/packages/patches/kiki-level-selection-crash.patch [new file with mode: 0644]
gnu/packages/patches/kiki-makefile.patch [new file with mode: 0644]
gnu/packages/patches/kiki-missing-includes.patch [new file with mode: 0644]
gnu/packages/patches/kiki-portability-64bit.patch [new file with mode: 0644]