Re: Support for DESTDIR while installing
Hrvoje Niksic [EMAIL PROTECTED] writes: Only if you haven't run `make' before. With Wget, it's perfectly safe to say: $ make # assumes regular prefix ... build finishes ... $ make install prefix=/something/different # same as DESTDIR=... Okay, but it isn't userfriendly to ask the user to use different values for the same variable at different stages of the configuration, compilation and installation precess. Yes, I admit wget fulfills the Coding Standards as written; but I see possibilities to improve it even more. -- work : [EMAIL PROTECTED] | ,__o : http://www.suse.de/~ke/ | _-\_, home : [EMAIL PROTECTED] |(*)/'(*)
Re: Support for DESTDIR while installing
Tom Tromey [EMAIL PROTECTED] writes: The GNU coding standards don't mention DESTDIR, so I assume it's an Automake thing. In Wget, you can just temporarily set `prefix': In my copy of the Standards they do. See the node `Command Variables'. My copy was last updated `March 13, 1998'. I'm sure there are newer copies around. Was this text deleted? I'd be suprised. I was looking at an ancient (1996) copy of the Standards. Sorry. It makes sense only if the same result cannot be achieved through prefix. I used to agree, but I got a lot of requests for this feature. So finally I implemented it. I generally recommend that people support both mechanisms. It isn't very hard. OK. Karl, your patches are welcome.