gnu: gdb: Add separate variant with source highlighting support.
authorMarius Bakke <mbakke@fastmail.com>
Thu, 30 Jan 2020 21:12:02 +0000 (22:12 +0100)
committerMarius Bakke <mbakke@fastmail.com>
Thu, 30 Jan 2020 21:16:07 +0000 (22:16 +0100)
commit6610e847c0f978cf3cf706aa91b4e62ac53d0669
tree8bb5d9598e3bd258ced25df153dceaf1bd6d38ea
parent9c3070ec3886d5936386b1ea1005065da97d55af
gnu: gdb: Add separate variant with source highlighting support.

This partially reverts commit 480b3279fd8f937fac986a88592ee5cb968ab3ff in
order to prevent a huge rebuild.

* gnu/packages/gdb.scm (gdb-8.3)[properties]: New field.
[inputs]: Remove SOURCE-HIGHLIGHT.
* gnu/packages/gdb.scm (gdb-8.2)[inputs]: Remove.
(gdb/next): New public variable.
gnu/packages/gdb.scm