Yes, deleting ~/Library/Racket/planet cured the problem (a folder I had never
known about until today)
Thanks for the help.
On Apr 28, 2014, at 5:33 PM, Matthew Flatt wrote:
> I'm able to replicate the problem in my machine, and it's a problem
> with `raco setup` not cleaning up after unli
I'm able to replicate the problem in my machine, and it's a problem
with `raco setup` not cleaning up after unlinked planet packages.
Robby's instructions should work around the problem, because the
"cache.rktd" file there is the one that's not cleaned up.
At Mon, 28 Apr 2014 19:19:40 -0500, Robb
I'm not sure where the reference is, but I guess that if you delete
~/Library/Racket/planet and then re-run "make" from the top-level,
then you should be in good shape.
Robby
On Mon, Apr 28, 2014 at 5:11 PM, Matthew Butterick wrote:
>> How are you installing Racket? From a git build or a snapsho
> How are you installing Racket? From a git build or a snapshot or something
> else?
Two machines, both using a git build from a fork of plt/racket, updated
regularly.
Turns out that deleting `info-cache.rktd` is a bad idea, because that causes
most of the commands to disappear from raco.
S
How are you installing Racket? From a git build or a snapshot or something else?
Robby
On Sun, Apr 27, 2014 at 7:58 PM, Matthew Butterick wrote:
> Hm, that is curious.
>
> Whenever I do `raco planet [anything]` I get `Unrecognized command: planet`.
>
> Also, when I do `raco help` I don't get `pl
Hm, that is curious.
Whenever I do `raco planet [anything]` I get `Unrecognized command: planet`.
Also, when I do `raco help` I don't get `planet` as an option:
> All available commands:
> link manage library-collection directories
> pkg manage packages
> pollen issue Pollen c
The raco planet commands are still there and there are no plans to
eliminate them.
Can you say what errors you're getting?
Robby
On Sun, Apr 27, 2014 at 7:40 PM, Matthew Butterick wrote:
> Do you have any links that were installed via `raco link` instead of
> `raco pkg`, such as a link from dev
> Do you have any links that were installed via `raco link` instead of
> `raco pkg`, such as a link from developing "pollen" before the package
> system?
Yes, Pollen was originally a PLaneT module, but IIRC I used `raco planet link`
to install it (consistent with the instructions here [1])
Here'
Do you have any links that were installed via `raco link` instead of
`raco pkg`, such as a link from developing "pollen" before the package
system?
At Sun, 27 Apr 2014 15:12:44 -0700, Matthew Butterick wrote:
> When I invoke raco from the command line, it throws the warning:
>
> > warning: tool "
When I invoke raco from the command line, it throws the warning:
> warning: tool "pollen" registered twice: "pollen" and #
This error also appeared on racket-dev in Jul 2013. At that time Matthew Flatt
said:
> I changed `raco setup' to use relative paths for the info-domain cache,
> but not to
10 matches
Mail list logo
