Subject: Re: [bug#30200] [PATCH 1/2] gnu: rct: Add missing headers, enable RTTI.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 23 Jan 2018 10:29:19 +0100

Fis Trivial <[email-masked]> skribis:

> * gnu/packages/patches/rct-add-missing-headers.patch: New file.
> * 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.

I added the patch to gnu/local.mk and committed.

It would be nice if you could report the issue with missing headers
upstream.

Ludo’.