GNU bug report logs -
#11737
Setting DESTDIR and infodir breaks doc/misc/Makefile.in
Previous Next
Reported by: Rob Browning <rlb <at> defaultvalue.org>
Date: Mon, 18 Jun 2012 22:51:01 UTC
Severity: normal
Fixed in version 24.2
Done: Glenn Morris <rgm <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
It looks like there may be a problem with the interaction between
DESTDIR and infodir in 24.1. You can see the problem by running
something like this after a configure and make:
make DESTDIR=/some/where infodir=/forbidden/place/ install
Assuming you don't have access to /forbidden/, the install process will
fail in doc/misc here:
mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${infodir}
because the infodir setting (without modification by DESTDIR) will be
passed down from ./Makefile.in and override the doc/misc/Makefile.in
setting:
infodir=../../info
I would guess that either doc/misc/Makefile.in should respect DESTDIR,
or this bit of ./Makefile.in:
info-real:
(cd doc/misc; $(MAKE) $(MFLAGS) info)
should either unset infodir before calling $(MAKE), or should specify an
infodir that respects DESTDIR.
Hope this helps.
--
Rob Browning
rlb @defaultvalue.org and @debian.org
GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4
This bug report was last modified 13 years and 36 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.