Joey Hess schrieb:
There exist some Makefiles that do something like $(DESTDIR)$(PREFIX). Which makes sense if you consider the PREFIX to be the prefix it is installed under, and the DESTDIR the directory to install to (ie, for packaging). So they can't both be set.
I don't see why both can't be set when e.g. DESTDIR=debian/tmp and PREFIX=/usr?
PREFIX is in general not well-defined; some things install to $(PREFIX)/usr/bin and others to $(PREFIX)/bin.
It's true it's a pity that the PREFIX variable isn't well defined, but to be hinest, I have never seen a Makefile that uses it as in $(PREFIX)/usr/bin.
dh_auto_install allows you to pass parameters on to make via -- PREFIX=/usr if necessary, so I suggest you use that.
Yes, that's how I currently manage these cases. I think I'll stay with this (until PREFIX becomes a well defined variable in Makefiles...).
Thanks! -- Dipl.-Phys. Fabian Greffrath Ruhr-Universität Bochum Lehrstuhl für Energieanlagen und Energieprozesstechnik (LEAT) Universitätsstr. 150, IB 3/134 D-44780 Bochum Telefon: +49 (0)234 / 32-26334 Fax: +49 (0)234 / 32-14227 E-Mail: greffr...@leat.ruhr-uni-bochum.de -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
