[racket] help packaging .plt file

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Nov 15 09:33:27 EST 2011

What is in plazy? Should it end up in a collection (ie a subdirectory
of plt/collects/ or a similar-type directory but in a user-specific
place)?

Robby

On Tue, Nov 15, 2011 at 8:31 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
> 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
>>>
>>
>
>



Posted on the users mailing list.