[plt-scheme] `make install' and DESTDIR

From: Ari Pollak (ari at ccs.neu.edu)
Date: Mon Jul 24 23:33:29 EDT 2006

Eli Barzilay wrote:
> The problem is that you'll need many such options -- for each kind of
> directory (collects, include, lib, doc, etc).

For my packaging purposes, at least, a root directory would suffice, e.g.
/usr/local/lib/plt, as it doesn't matter to me what else is under there.

Posted on the users mailing list.