Re: Installing headers to a separate output?

[Andreas Enge]

On Thu, Feb 25, 2016 at 09:32:22PM +0100, Ricardo Wurmus wrote:
> Other distributions have separate “*-devel” or “*-dev” packages (and I’m
> ambivalent about this) — would it be a bad idea if we provided “devel”
> or “dev” *outputs* so that users had more control over what ends up in
> their store?

Personally I find this really annoying and am happy that we just install
a package (most of the time) as the result of "make install". Otherwise,
we would also almost systematically need to add the header outputs as
build inputs.

Andreas