On Sat, Feb 26, 2022 at 10:56 AM Roy Marples <r...@marples.name> wrote:
>
> On 26/02/2022 08:22, Martin-Éric Racine wrote:
> > I forgot to include the actual configure stanza that gets issued. Here
> > it is, straight from the build log:
> >
> > dh_auto_configure
> >      ./configure --build=i686-linux-gnu --prefix=/usr
> > --includedir=\${prefix}/include --mandir=\${prefix}/share/man
> > --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var
> > --disable-option-checking --disable-silent-rules
> > --libdir=\${prefix}/lib/i386-linux-gnu --runstatedir=/run
> > --disable-maintainer-mode --disable-dependency-tracking
> > configure args: --build=i686-linux-gnu --prefix=/usr
> > --includedir=${prefix}/include --mandir=${prefix}/share/man
> > --infodir=${prefix}/share/info --sysconfdir=/etc --localstatedir=/var
> > --disable-option-checking --disable-silent-rules
> > --libdir=${prefix}/lib/i386-linux-gnu --runstatedir=/run
> > --disable-maintainer-mode --disable-dependency-tracking
> > ./configure: WARNING: unknown option --disable-option-checking
>
> So it's very assumptive that configure is a shell script and sets the variable
> ${prefix} to what --prefix is AND evaluates each assignment so it can work out
> the variable prefix.
>
> This behaviour is not documented by autoconf as far as I can see.
>
> If you do --mandir=/usr/share/man or don't set it all all then dhcpcd's
> configure gets the results you want.

Not setting it at all results in the manual pages getting incorrectly
installed in /share/man/manX/ as shown in the previous e-mail. This is
a bug. It should inherit prefix, but it somehow doesn't.

Explicitly setting --mandir=/usr/share/man obviously works, but should
not be needed if prefix was correctly inherited.

Martin-Éric

Reply via email to