Steve Dower added the comment:
The embeddable distro is meant to be a "redistributable" for end-user machines,
rather than a development kit. "Build" and "distribution" are two clearly
separated tasks (at least on Windows), and so they have different dependencies.
We won't be adding headers
New submission from Leblond Emmanuel :
I don't understand why the headers are not provided as part of the distribution.
It would be really easy to rm them once the distribution extracted for usecases
that don't need them.
On the other hand, usecases that need them cannot just download the Inc