[racket-dev] DrDr & the split repository

2014-12-05 Thread Jay McCarthy
Since we split the repository, there have been significantly more errors on DrDr: http://drdr.racket-lang.org/ This is mainly because DrDr used to use a monolithic metadata file: https://github.com/plt/racket/blob/master/pkgs/plt-services/meta/props This meta-data file included things like "Don

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 wrote: > Since we split the repository, there have been significantly more > errors on DrDr: > > http://drdr.racket-lang.org/ > > Thi

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 wrote: > And just to confirm: we should be checking into our own failures in > drdr and fixing the info files now, right? > > Robby

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 https://github.com/racket/images/tarball/3458568c6ba363a

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 https://github.

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 wrote: > Typed "make" and it timed out again. > > Could it be a github rate limit? > https://developer.github.com/v3/rate_limit/ > https://developer.gi

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

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

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: https://github.com/plt/racket/blob/mas

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 wrote: > One more error, with frtime: > > raco setup: 3 making: /frtime > raco setup: 3 making: /frtime/pkgs > raco setup: 3 making: /frtime/pkgs/frtime (FrTime) > racket/share/pkgs/frtime/pkgs/frtime/animati

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 al

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 c

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 th