[plt-scheme] Disabling the compilation manager for system directories?

At Sat, 3 May 2008 13:01:11 -0400, "Eric Kidd" wrote:
> This strategy works fine on Windows, because we have a local, writable
> copy of PLTCOLLECTS. But on the Mac, there's a good chance that the
> PLTCOLLECTS directory is owned by root. So when we try to enable the
> compilation manager, we get the following error:
> 
> delete-file: cannot delete file:
> "/opt/local/share/mzscheme/371/collects/swindle/compiled/misc.zo"
> (Permission denied; errno=13)
> 
> Here, we're trying to compile our own *.ss files, stored in the user's
> working directory. But the compilation manager is attempting to
> recompile system *.ss files in /opt/local/, which is owned by root.

But why does "misc.ss" need to be recompiled? The files in the main
installation should refer only to other files in the main installation;
if none of them change, then the compilation manager shouldn't try to
recompile any of them.

Is it a file-modification-date problem, a bug, or are installation
files somehow changed or redirected to depend on non-installation
files?

Matthew