[plt-scheme] PLT Redex w/ 301.13
Yes, Richard's right. See the documentation for suitable values of
[file].
Robby
At Wed, 31 May 2006 15:02:35 -0400, Richard Cobbe wrote:
> On Wed, May 31, 2006 at 11:39:23AM -0700, Paul A. Steckler wrote:
> > I'm running DrScheme version 301.13-svn9may2006 on Linux, because
> > the latest legit release crashes on startup.
> >
> > When I put
> >
> > (require (planet "[file]" ("robby" "redex.plt" 2 2)))
> >
> > in my program, I get the message:
> >
> > open-input-file: cannot open input file:
> > "/home/steck/.plt-scheme/planet/300/301.13/cache/robby/redex.plt/2/2/[file]"
> > (No such file or directory; errno=2)
> >
> > What do I need to do to get the PLaneT package to load?
>
> Pardon what may be a really stupid question, but are you really typing
> [ f i l e ]
> between the open quotes right after "(planet", or is that a placeholder
> that you introduced just for this email message?
>
> If you're literally typing that, then no, that won't work. The [file]
> business is just a placeholder that appears there on the web page if the
> package author didn't provide a value for the primary-file setting in
> the package's info.ss file.
>
> To install the package, you have a couple of options. If there's a link
> to the documentation on the planet web page, read that to get the name
> of the actual .ss files in the package. Otherwise, you'll probably have
> to use the planet command-line tool to install the thing.
>
> (Perhaps we should find a better way to handle the situation of missing
> primary-file settings....)
>
> Richard
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-scheme