Re: DESTDIR in Build Directories

[Matthew Flatt <mflatt@cs.utah.edu>]

At Fri, 22 Mar 2002 21:23:43 -0800, "Brent A. Fulgham" wrote:
> Playing with the DrScheme sources today, I noticed that the configure
> scripts/Makefiles don't honor the DESTDIR variable.  This means that
> you can't use this to "install" the results of a build in some arbitrary
> directory.

Where is DESTDIR supposed to come from?

If you use 
 configure --prefix=SOMEDIR
then `make install' after `make' installs to SOMEDIR.

Also, unless you use --enable-dynlib, you can always move an
installation and re-run the "configure" script in the plt directory
(which simply updates the path in the plt/bin scripts).

Matthew