bug-gnulib
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]