[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] build: GuixSD doesn't have /bin/bash.
From: |
Bruno Haible |
Subject: |
Re: [PATCH] build: GuixSD doesn't have /bin/bash. |
Date: |
Tue, 23 Jan 2018 06:23:34 +0100 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-104-generic; KDE/5.18.0; x86_64; ; ) |
Mathieu Lirzin wrote:
> OTOH Having a configure script allows other
> prerequisites such as GNU Make, ‘git’, ‘makeinfo’ and ‘cppi’ to be
> checked explicitly which would be an improvement. Maybe there is a good
> reason I am overlooking that explains why Gnulib doesn't already have a
> configure script.
We don't need another layer of 'configure' for gnulib's main Makefile
and gnulib-tool. Both are meant to be used by developers on their development
machines. It is *not* meant to be used in poor runtime environments.
I am in favour of applying your patch.
Bruno