[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Installing headers to a separate output?
From: |
Efraim Flashner |
Subject: |
Re: Installing headers to a separate output? |
Date: |
Thu, 25 Feb 2016 23:05:33 +0200 |
On Thu, 25 Feb 2016 21:32:22 +0100
Ricardo Wurmus <address@hidden> wrote:
> 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
I thought a bit about it before and I don't really think it'll save that much
space. Most of the time the headers are a small part of the total package,
and the fine-tuning that comes with chosing exactly which outputs from a
build process you actually want seem like they should be left as
encouragement for people to hack their systems.
--
Efraim Flashner <address@hidden> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
pgpkxqXabRN4v.pgp
Description: OpenPGP digital signature
- Installing headers to a separate output?, Ricardo Wurmus, 2016/02/25
- Re: Installing headers to a separate output?, Andreas Enge, 2016/02/25
- Re: Installing headers to a separate output?,
Efraim Flashner <=
- Re: Installing headers to a separate output?, Ludovic Courtès, 2016/02/26
- Re: Installing headers to a separate output?, Ricardo Wurmus, 2016/02/27
- Re: Installing headers to a separate output?, Pjotr Prins, 2016/02/27
- git download size, Ricardo Wurmus, 2016/02/28
- Re: git download size, Ludovic Courtès, 2016/02/28
- Re: git download size, Pjotr Prins, 2016/02/28
- Re: git download size, Ludovic Courtès, 2016/02/28