[plt-scheme] setup-plt --root

From: Robby Findler (robby at cs.uchicago.edu)
Date: Mon Jan 10 11:36:14 EST 2005

At the moment, that information is encoded into the .plt file. There is
a binary choice: install the .plt into the main distribution, or
install the .plt file into a user-specific location. You can specify
--at-plt to mzc when building a .plt file to get the first option and
--all-users to get the second.

You can also pass --all-users to setup-plt to force a .plt file to be
installed in the plt tree. This overrides whatever the .plt file
itself's default is.

Generally, installing .plt files into anywhere other than those two
directories means that the contents of the .plt file will be ignored by
drscheme and friends.

Robby

At Thu, 6 Jan 2005 23:41:23 +0100, tverwaes at igwe.vub.ac.be wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Is there a function to prepend a custom root to the setup-plt
> collection installpath (in linux)?
> This would be pretty nice for a gentoo-installer...
> 
> Something like setup-plt --root=/bla bla.plt would install everything
> to /bla/usr/share/drscheme/...
> 
> Greetz,
> Toon



Posted on the users mailing list.