Re: [boost] Boost.Uuid and header-only support

Subject: Re: [boost] Boost.Uuid and header-only support
From: Edward Diener (eldiener_at_[hidden])
Date: 2017-11-04 17:16:59

On 11/4/2017 12:57 PM, Andrey Semashev via Boost wrote:
> On 11/04/17 18:40, Peter Dimov via Boost wrote:
>> Andrey Semashev wrote:
>>
>>> The proposal to make Boost.Random header-only was rejected by Steven.
>>>
>>> https://github.com/boostorg/random/pull/29
>>
>> This sounds like essential context that might have been worth 
>> mentioning. :-)
>>
>> Steven is right that we're still dependent on Boost.System, this needs 
>> to be solved somehow.
> 
> I think, Steven was more opposed to the whole idea of header-only code, 
> regardless of implementation.

Steven can chime in if he wants but my interpretation was that Steven 
was rightly concerned with the idea that making Boost random header-only 
only works if the end-user is forced to use Boost system as header-only, 
and we do not want to tell the end-user what he must do.

snipped...