Bug#1046055: mpfr4: Fails to build source after successful build
On 2023-08-28 11:51:17 +0200, Vincent Lefevre wrote:
> On 2023-08-28 11:15:15 +0200, Matthias Klose wrote:
> > the package is built in a separate build dir. shouldn't the upstream
> > makefile also build the info file in the build tree?
>
> I'm not sure. The issue is that the info file may already be available
> in the source tree (this is always the case for tarballs), so that
> there could be some confusion. We're using
>
> info_TEXINFOS = mpfr.texi
>
> and the Makeinfo manual says:
>
> It is worth noting that, contrary to what happens with the other
> formats, the generated ‘.info’ files are by default placed in ‘srcdir’
> rather than in the ‘builddir’. This can be changed with the
> ‘info-in-builddir’ option.
>
> So the question is whether we should use this option. Is it common
> among other software?
According to https://debbugs.gnu.org/cgi/bugreport.cgi?bug=11034#65
we must not use info-in-builddir if we distribute info files
(in tarballs). Since distributing them is recommended (as not
everyone has the necessary tools to rebuild them), we will not
be able to use info-in-builddir.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: