I personally keep the cargo dirs separate because Cargo doesn’t deal well with two concurrent runs, and I’m frequently developing and building in the two different clones at the same time. You *should* be able to share the rust/cargo snapshot directory without major concerns, though.
On Jun 10, 2015, at 3:02 PM, Manish Goregaokar <manishsm...@gmail.com> wrote: Copy servobuild.example to .servobuild Then just add the path of a central .cargo or .servo to the cache-dir and cargo-home-dir keys. Mine are ./../.servo and ./../.cargo -Manish Goregaokar On Thu, Jun 11, 2015 at 1:26 AM, Nicholas Nethercote <n.netherc...@gmail.com > wrote: > Hi, > > I often like to work on multiple branches concurrently, to work around > the fact that Servo builds are slow. The obvious way to do this is to > just have multiple clones. That's what I do with Firefox (using > Mercurial). > > I've read that git 2.5 will have a `git checkout --to=path` command > which will support multiple working branches from a single repo > directly. (See > http://stackoverflow.com/questions/6270193/multiple-working-directories-with-git/30185564#30185564 > .) > So that's nice. > > But for Servo there's the added complication of having a rustc and a > .cargo/ directory. It'd be nice to avoid having to download rustc > twice if both clones require the same version. It'd also be nice to > avoid building all the code in the .cargo/ directory twice, at least > (again) when the versions match up. IIRC there is a way to specify > that the .cargo/ directory should go somewhere else (and indeed it > used to go in $HOME by default), though I don't know what it is. > > Anyway, I'm just wondering how other people deal with this. Thanks. > > Nick > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
