[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: autoconf-2.62: `make install' fails if file system is case insensiti
Re: autoconf-2.62: `make install' fails if file system is case insensitive
Thu, 5 Jun 2008 14:47:12 +0200
> [adding bug-automake and bug-make; ...]
I sent a separate followup there.
This mail goes again to bug-autconf only, as it discusses possible
workaround with current make implementation.
Regarding the patch attached to
I hed asuspicion as soon as I saw it, but since I was not able to
express my feelings exactly, I decided to work on it more ... and
basically I put it off. Now my ideas finally got a shape.
I was also thinking about "make dist", but I concentrated on good old
As you mentioned, with --gnu strictness in Automake, INSTALL gets
listed in DIST_COMMON, which is a pre-requisite of distdir target.
Since "INSTALL" is equal to "./INSTALL", this implies that the file
is (re)built before each "make dist".
When "make dist*" is issued in a VPATH build, the $(srcdir)/INSTALL
file is found because of the VPATH mechanism, and then the rule for
$(srcdir)/INSTALL is used to ensure that the file is up-to-date.
When we introduced the $(abs_srcdir)/INSTALL hack, we lost the above
Consequently, I'd like to propose an alternate solution:
if configure detects case-insensitive make, the rule for
$(srcdir)/INSTALL would be disabled.
That should not be a problem, as case insensitive platforms are
rarely used to create the distribution tarball of Autoconf.
Attached please find a patch.
The main advantage of this patch is that it is conservative:
- in the common situation, things work exactly as before
- the extra code is hidden in one macro, so the code is not made less
OK to commit?
Description: Text document
|[Prev in Thread]
||[Next in Thread]|
- Re: autoconf-2.62: `make install' fails if file system is case insensitive,
Stepan Kasal <=