[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix an error during "./configure; make dist"
From: |
Bruno Haible |
Subject: |
Re: Fix an error during "./configure; make dist" |
Date: |
Sat, 10 Aug 2024 01:30:05 +0200 |
Patrice Dumas wrote:
> > > Here is a recipe to get differences between in source and out of source
> > > distributions. There are some changes for generated files, which seem
> > > innocuous, but may be an issue for reproductibility, as well as the
> > > difference for texi2any_internals.texi.
> >
> > Thanks, I'll try it.
>
> If we really want to support make dist in out of source builds, I think
> that we sould make sure that there are no differences at all between in
> source and out of source distributions. This should not be difficult
> for some file we generate, but there are also some gperf generated files
> in gnulib that have some srcdir prepended, which may be more challenging
> to get right.
Very good point. Yes, I confirm, after "make maintainer-clean", the
gperf-generated .h files differ when built through "make" from a subdir
vs. through "make" from the source dir.
For some .y files, I already encountered and eliminated the issue [1];
for .gperf files, I still need to do it. It's easy to do: Just some
post-processing with 'sed'.
Bruno
[1]
https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob;f=modules/parse-datetime;h=e8ac3e725d00bf024cf6df0028a7c223b70c0c1c;hb=HEAD
line 54
- Re: Fix an error during "./configure; make dist", (continued)
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/05
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/05
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/05
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/05
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/06
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/06
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/06
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/09
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/09
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/09
- Re: Fix an error during "./configure; make dist",
Bruno Haible <=
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/10
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/10
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/10
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/10
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/10
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/12
- release/7.1 build system fixes, Gavin Smith, 2024/08/29
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/12
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/10
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/06