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
