diff options
| author | Fis Trivial <ybbs.daans@hotmail.com> | 2018-01-21 19:31:16 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-23 10:28:27 +0100 |
| commit | a893dc2f484f89d9f0ba21d44bdac3b792872781 (patch) | |
| tree | 02b7f150e13f6a5baf3dfea9f7919dc5e36579b3 /gnu/packages/patches/kiki-makefile.patch | |
| parent | 6055e88c0d6212884d5f050eea1cefc4fcaec043 (diff) | |
| download | guix-a893dc2f484f89d9f0ba21d44bdac3b792872781.tar guix-a893dc2f484f89d9f0ba21d44bdac3b792872781.tar.gz | |
gnu: rct: Add missing headers, enable RTTI.
* gnu/packages/patches/rct-add-missing-headers.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/cpp.scm (rct): Use the patch, enable RTTI.
[source]: Use the patch to add missing headers from installation.
[arguments]: Enable RTTI in configure-flags.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patches/kiki-makefile.patch')
0 files changed, 0 insertions, 0 deletions