Re: [racket-dev] DrDr the split repository

2014-12-05 Thread Robby Findler
And just to confirm: we should be checking into our own failures in drdr and fixing the info files now, right? Robby On Fri, Dec 5, 2014 at 6:14 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Since we split the repository, there have been significantly more errors on DrDr:

Re: [racket-dev] DrDr the split repository

2014-12-05 Thread Jay McCarthy
Yes. It may be possible to write a script to port props, but I think the errors are few enough it isn't worth it. Jay On Fri, Dec 5, 2014 at 8:27 AM, Robby Findler ro...@eecs.northwestern.edu wrote: And just to confirm: we should be checking into our own failures in drdr and fixing the info

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
Did a fresh clone and then make (Debian 7.4) and got the error below, even though git is not down. Do we need to increase the timeout? Downloading https://github.com/racket/icons/tarball/d6ec572b628874361c104858dad2a574119872fb Downloading

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
Typed make and it timed out again. Could it be a github rate limit? https://developer.github.com/v3/rate_limit/ https://developer.github.com/v3/#rate-limiting Downloading https://github.com/racket/distributed-places/tarball/917d33e217b3b4897fd86a5a8116087b0714b279 Downloading

Re: [racket-dev] The repository is now split

2014-12-05 Thread Sam Tobin-Hochstadt
The rate limit only applies to API calls, not to downloads, so I don't think that could be it. Sam On Fri, Dec 5, 2014 at 1:07 PM, Stephen Chang stch...@ccs.neu.edu wrote: Typed make and it timed out again. Could it be a github rate limit? https://developer.github.com/v3/rate_limit/

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
One more error, with frtime: raco setup: 3 making: pkgs/frtime raco setup: 3 making: pkgs/frtime/pkgs raco setup: 3 making: pkgs/frtime/pkgs/frtime (FrTime) racket/share/pkgs/frtime/pkgs/frtime/animation.rkt:1:18: cannot open module file module path: frtime path:

Re: [racket-dev] The repository is now split

2014-12-05 Thread Jay McCarthy
raco pkg uses the API when it prints out Querying GitHub: https://github.com/plt/racket/blob/master/racket/collects/pkg/private/stage.rkt#L668 But when it is just doing a download and it has a particularly checksum, it just does a GET on a download URL:

Re: [racket-dev] The repository is now split

2014-12-05 Thread Sam Tobin-Hochstadt
The bug in frtime has been fixed now. Sam On Fri, Dec 5, 2014 at 3:06 PM, Stephen Chang stch...@ccs.neu.edu wrote: One more error, with frtime: raco setup: 3 making: pkgs/frtime raco setup: 3 making: pkgs/frtime/pkgs raco setup: 3 making: pkgs/frtime/pkgs/frtime (FrTime)

Re: [racket-dev] The repository is now split

2014-12-05 Thread John Clements
Urg... more interesting problems. I pulled and tried to rebuild, and things went pear-shaped. 1) compilation failed because it couldn't find the 'racket' collection, but I noticed that it was referring to a nonexistent path, presumably because I had moved the root of the installation. Has that

Re: [racket-dev] The repository is now split

2014-12-05 Thread Matthew Flatt
Can you run `raco pkg show`? It looks like `raco pkg install` thinks you have main-distribution and main-distribution-test installed already. At Fri, 5 Dec 2014 14:04:47 -0800, John Clements wrote: Urg... more interesting problems. I pulled and tried to rebuild, and things went pear-shaped.

Re: [racket-dev] The repository is now split

2014-12-05 Thread Matthew Flatt
Sorry --- I've figure out how I misread your message, and I'm no longer interested in the output of `raco show`. The log shown for step 3 makes sense, in that `make` doesn't currently run `raco setup` at the end. So, if main-distribution is already installed, then nothing more happens after the

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
One more issue, If I resume an interrupted make with make again, the compile takes around ~5hrs to complete on my (modern, lots of memory, desktop) machine. It gets stuck around search.scrbl, as Vincent mentioned on IRC (but eventually finishes). I just grabbed a fresh clone though and it

Re: [racket-dev] The repository is now split

2014-12-05 Thread Matthew Flatt
I think this problem wasn't due to an interrupted `make`. The data-lib package changed today in a way that made data.scrbl run for a very long time. The problem has been fixed, which is why your fresh clone worked. Even though `raco setup` showed a status line for search.scrbl, I imagine that a