[plt-scheme] `make install' and DESTDIR

[Ari Pollak]

Eli Barzilay wrote:
> * Some packagers like to have some /usr/local/plt/site-collects or
>   some equivalent directory added to the collection search path.
>   Using the new configuration, it is now easy to do this for the
>   collection searches *and* for documentation directories etc.
>
>   To do this, you need to write the information into the right place
>   (collection directories embedded in the binaries, others in
>   config/config.ss).  The tricky bit is that you want to recompile
>   config.ss in a way that makes the resulting compiled/config.zo have
>   the same time -- otherwise setup-plt will want to recompile
>   everything that depends on it.

How would one go about doing this? I would like to not have the Debian
packages set PLTCOLLECTS just to add a path in /usr/local to the collects
directories.