[plt-scheme] Re: bug installing PLAI language in 4.1.5?

If you run the command 'planet url plai plai.plt 1 1' from the shell,
you will get a url. Download that and then use 'planet fileinject' to
install it.

Robby

On Tue, Mar 31, 2009 at 3:25 AM, Benjamin L.Russell
<DekuDekuplex at yahoo.com> wrote:
> I just tried to install the PLAI package on PLaneT from the following
> URL:
>
> http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai
>
> using the following command:
>
> (require (planet plai/plai:1:1))
>
> However, I encountered the following error message:
>
> require: PLaneT could not download the requested package: tcp-connect:
> connection to planet.plt-scheme.org, port 80 failed (at step 4:
> ?\?P?b?g??O??????????????????s?????????????B; errno=10038) in: (planet
> plai/plai:1:1)
>
> When I unblocked access to port 80 for TCP/IP packages in Control
> Panel, restarted DrScheme (it repeated the same error message until I
> did this), and tried to run the command again, this time I ran into
> the following error message:
>
> require: PLaneT could not download the requested package: tcp-write:
> error writing (Unknown error; errno=10038) in: (planet plai/plai:1:1)
>
> Do you have a download site where I can manually download the file and
> then install it from the local hard disk?
>
> -- Benjamin L. Russell
>
> On Tue, 24 Mar 2009 10:30:53 -0600, Jay McCarthy
> <jay.mccarthy at gmail.com> wrote:
>
>>The PLAI package listed on
>>
>>http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
>>
>>is only tested with 4.1.3 (although I think it may work with 4.1.4)
>>
>>If you want to use 4.1.5, I've just recently put the PLAI package on PLaneT:
>>
>>http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai
>>
>>Jay
>>
>>On Tue, Mar 24, 2009 at 10:03 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>>> Hi,
>>>
>>> I've just downloaded the latest version of DrScheme and tried to install the
>>> PLAI package (Shriram's book).
>>>
>>> I get an error:
>>> /snip/
>>> setup-plt: --- creating launchers ---
>>> setup-plt: --- installing collections ---
>>> setup-plt: --- post-installing collections ---
>>> setup-plt: done
>>> setup-plt:
>>> setup-plt: error: during making for <user>/plai (PLAI)
>>> setup-plt: ? web/server.ss:81:8: module: identifier is already imported at:
>>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>>> server-root-path "htdocs")))
>>> setup-plt: error: during making for <user>/plai/web
>>> setup-plt: ? server.ss:81:8: module: identifier is already imported at:
>>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>>> server-root-path "htdocs")))
>>>
>>> any idea?
>>>
>>> -- Eric
>>>
>>>
>>> _________________________________________________
>>> ?For list-related administrative tasks:
>>> ?http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>>
> --
> Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
> http://dekudekuplex.wordpress.com/
> Translator/Interpreter / Mobile:  +011 81 80-3603-6725
> "Furuike ya, kawazu tobikomu mizu no oto."
> -- Matsuo Basho^
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>