Re: [PATCH 15/16] Highlight source code using GNU Source Highlight

Tom Tromey
2019-11-24T19:53:41Z

Christian> Note that the source highlight library depends on boost_regex and ICU,
Christian> according to ldd, so that might make this harder?

Yeah. I forgot about that.

Christian> (I wonder why it doesn't use std::regex)

There's a bug open in the source highlight tracker about this (I can't
link right now since savannah seems to be down). Basically, I think
std::regex wasn't available (maybe not implemented in libstdc++?) when
it was written. Anyway, removing the boost dependency would be good.

Tom