From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Installing headers to a separate output? Date: Thu, 25 Feb 2016 21:32:22 +0100 Message-ID: <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]:52392) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aZ2aR-0008Ig-3M for guix-devel@gnu.org; Thu, 25 Feb 2016 15:32:35 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aZ2aM-0000QD-RE for guix-devel@gnu.org; Thu, 25 Feb 2016 15:32:35 -0500 Received: from sender163-mail.zoho.com ([74.201.84.163]:25191) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aZ2aM-0000P0-HM for guix-devel@gnu.org; Thu, 25 Feb 2016 15:32:30 -0500 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: guix-devel@gnu.org Hi Guix, should we install headers to separate outputs as we do it in some cases for really large documentation? It seems wrong to me to download substitutes for libraries when at build time only certain headers are needed. 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? I’m not writing this because I’m annoyed by the current behaviour — I’m just curious. ~~ Ricardo