[plt-scheme] setup-plt --root

From: tverwaes at igwe.vub.ac.be (tverwaes at igwe.vub.ac.be)
Date: Thu Jan 6 17:41:23 EST 2005

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.