Re: [racket-dev] DrDr & the split repository

2014-12-10 Thread Jay McCarthy
On Tue, Dec 9, 2014 at 12:12 AM, Asumu Takikawa wrote: > On 2014-12-05 07:14:40 -0500, Jay McCarthy wrote: >> Instead, Matthew changed "raco test" (which is how DrDr tests >> programs) to support all these options. They can be test on a >> per-directory or per-file basis. The documentation for thi

Re: [racket-dev] DrDr & the split repository

2014-12-08 Thread Asumu Takikawa
On 2014-12-05 07:14:40 -0500, Jay McCarthy wrote: > Instead, Matthew changed "raco test" (which is how DrDr tests > programs) to support all these options. They can be test on a > per-directory or per-file basis. The documentation for this is here: I tried to set this for a test I am responsible f

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] 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

[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