[racket] help packaging .plt file

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

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.