debian-plt1

Usage

Overview

debian-plt is the Debian Setup Utility for Rice University's PLT Scheme.

debian-plt installs the .plt files given as command-line arguments. It installs the files into the non-root PLT directory (/usr/local/lib/plt on Debian systems) and compiles the source into *.zo files. This utility should be used by local Debian administrators to install non-dpkg-controlled PLT files under /usr/local/lib/plt. For further information on MzScheme, DrScheme, or any of its components (such as setup-plt) please consult the on-line documentation and other information available at

http://www.cs.rice.edu/CS/PLT/packages/drscheme/

Files

DrScheme looks for its libraries using the environment variables PLTHOME and PLTCOLLECTS. If this variable is not defined, the installation directory is assumed ("/usr/lib/plt/" on Debian systems). See the documentation for details.

Please consult your local administrator to determine whether the on-line documentation has been installed locally.