From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: Installing headers to a separate output? Date: Thu, 25 Feb 2016 21:40:46 +0100 Message-ID: <20160225204046.GA24943@solar> References: <87lh68fs4p.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53970) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aZ2iU-00037g-PQ for guix-devel@gnu.org; Thu, 25 Feb 2016 15:40:55 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aZ2iR-0002Vh-Bd for guix-devel@gnu.org; Thu, 25 Feb 2016 15:40:54 -0500 Received: from mailrelay1.public.one.com ([91.198.169.124]:44614) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aZ2iQ-0002VS-Vi for guix-devel@gnu.org; Thu, 25 Feb 2016 15:40:51 -0500 Content-Disposition: inline In-Reply-To: <87lh68fs4p.fsf@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ricardo Wurmus Cc: guix-devel@gnu.org 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