Re: boost-headers: configure output not reliable

[Thomas Klausner <tk%giga.or.at@localhost>]

On Sat, Oct 06, 2018 at 09:19:17PM +0200, Thomas Klausner wrote:
> I reported a boost problem upstream:
> 
> https://github.com/boostorg/config/issues/240
> 
> and got the reply that the way pkgsrc generates the installed user.hpp
> file is not perfect - we need to either use the pre-configured file
> instead, or check the result of configure, or possibly add more
> -Werror arguments to the configure run.
> 
> Are there any opinions on what the best solution is?

I've disabled the generation of the user.hpp file and changed to use
the pregenerated one instead.
 Thomas