gnu: rct: Add missing headers, enable RTTI.
authorFis Trivial <ybbs.daans@hotmail.com>
Sun, 21 Jan 2018 19:31:16 +0000 (19:31 +0000)
committerLudovic Courtès <ludo@gnu.org>
Tue, 23 Jan 2018 09:28:27 +0000 (10:28 +0100)
commita893dc2f484f89d9f0ba21d44bdac3b792872781
tree02b7f150e13f6a5baf3dfea9f7919dc5e36579b3
parent6055e88c0d6212884d5f050eea1cefc4fcaec043
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>
gnu/local.mk
gnu/packages/cpp.scm
gnu/packages/patches/rct-add-missing-headers.patch [new file with mode: 0644]