Hi,
On Mon, 16 Nov 2020 at 19:25, 宋文武 wrote:
>> And it is maybe an occasion to revisit the museum, i.e., the TODO file:
[...]
> I'd like to suggest another plan: Make every ‘output’ become a
> object, so ‘propagated-build-inputs’ doesn’t need to change. Then we’ll
> have something like debia
Hi,
宋文武 skribis:
> I'd like to suggest another plan: Make every ‘output’ become a
> object, so ‘propagated-build-inputs’ doesn’t need to change. Then we’ll
> have something like debian’s source/binary packages [1] and archlinux’s
> base/split packages [2].
>
> Example:
>
> (define-public %gtk+
zimoun writes:
> Dear,
>
> On Sun, 15 Nov 2020 at 21:46, Danny Milosavljevic
> wrote:
>
>> * Enable/disable building the documentation. I really don't need a 40 MiB
>> manual stored onto a 16 MiB firmware flash chip. If that's better done as an
>> extra output, fair enough.
>
> Related (I hop