[plt-scheme] Installing plt trunk

On Jan 10, David Brown wrote:
> On Sun, Jan 10, 2010 at 06:38:43PM -0500, Eli Barzilay wrote:
> 
> >On Jan 10, David Brown wrote:
> >>
> >> I can understand 'make install' rebuilding planet packages when
> >> changing compiler versions, but wouldn't this happen anyway, when
> >> the packages are used?
> >>
> >> Perhaps the 'make install' target should do the equivalent of
> >>
> >>    setup-plt --no-planet
> >
> >I think that there was some reason for not doing so, but I don't
> >remember the details.
> 
> I does complicate things a bit for those trying to build packages out
> of PLT, since the package build now depends on things outside of the
> tree.  It appears that the only effect it can have (other than slowing
> the package build down) is to cause the build to failure if there are
> broken planet packages.

Just to clarify: the problem is not in planet -- it's in the
installation of packages in the plt tree that have their docs rendered
over to local space.

By itself, planet packages are not too problematic, if you don't have
them (which is the case for 3rd party packagers, sysadmins, etc), or
if you're running as root with HOME set to /root (which won't have
planet packages).  But with the above, the problem is more concrete, I
think.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!