11 Oct
2018
11 Oct
'18
7:25 p.m.
On 10/11/18 11:59 AM, Peter Dimov via Boost wrote:
Vinnie Falco wrote:
Here's an idea, we leave our distribution as-is, and let the community step forward and decide if and how they want to package individual libraries.
This is not possible at the moment because all headers are copied into boost/ and removed from libs/$lib/include.
off topic - which is a very bad idea.
The 'community' can't package an individual library from the contents of a release.
Why not? What is a "release"? I don't see why and "deployment" system can't walk through the collection of boost library and pick out anything it wants. Robert Ramey
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost