[plt-scheme] `make install' and DESTDIR

From: Ari Pollak (ari at ccs.neu.edu)
Date: Mon Jul 24 22:52:20 EDT 2006

Eli Barzilay wrote:
> Alternatively, I asked for suggestions for some way of communicating
> such information to the make process, so it can create the right file.
> The only thing I can think of is environment variables for the extra
> paths, but that will be awkward and difficult to use (I think).

Seems simple enough to add an extra configure option to add system
collection paths to the build, since it's still way cleaner than having to
provide wrapper scripts that set PLTCOLLECTS.

Posted on the users mailing list.