[racket] help packaging .plt file

Yes, indeed, I want a .plt file that my students will install via DrRacket.

I tried 
raco pack plazy.plt plazy

(where plazy is the directory with all the stuff)

and it is behaving in a similar manner:
- if from file, it asks where to put it
- if from web, I get the same error message

any idea?

Thanks,

-- Éric


On Nov 15, 2011, at 11:17 AM, Robby Findler wrote:

> Planet creates .plt files that are meant to be installed via the
> planet command-line tool or via (require (planet ...)) after they've
> been uploaded to planet.
> 
> If you want to install them via DrRacket (is that what you're doing?)
> then you probably want to use 'raco pack' to create them.
> 
> Robby
> 
> On Tue, Nov 15, 2011 at 8:11 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>> Hi,
>> 
>> I am creating a small plugin for the first time.
>> 
>> I create the .plt file using: raco planet create mydir/
>> 
>> While "it works", I get some problems with installation:
>> 
>> - if I install the .plt "from file", the install works but for some reason I have to manually specify the target directory (a window pops up systematically, asking for the directory). This does not happen with other .plt files I install manually. (I'm on mac os, these .plt get installed in ~/Library/Racket/5.2/collects)
>> 
>> - I put the .plt file on a web server and tried to install .plt "from web". In that case I get an error:
>> gnu-unzip: bad header
>> 
>>  === context ===
>> /Applications/@Sync/Racket/collects/mzlib/inflate.rkt:857:2: do-gunzip
>> 
>> not an unpackable distribution archive
>> 
>>  === context ===
>> /Applications/@Sync/Racket/collects/setup/unpack.rkt:271:7
>> 
>> 
>> Is there something special to specify so that the package can be installed from web, and automatically in the local collects?
>> 
>> Thanks in advance!
>> 
>> -- Éric
>> 
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://lists.racket-lang.org/listinfo/users
>> 
>