mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use cargo-install to install josh-proxy

Browse Source
This commit is contained in:
Ralf Jung 2022-12-25 14:16:10 +01:00
parent d23554fae8
commit fed7e2c935
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/tools/miri/CONTRIBUTING.md
View File

@ -233,14 +233,14 @@ You can also directly run Miri on a Rust source file:
## Advanced topic: Syncing with the rustc repo ## Advanced topic: Syncing with the rustc repo
We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the
rustc and Miri repositories. The eaisest way to run josh is via docker: rustc and Miri repositories.
```sh ```sh
docker pull joshproject/josh-proxy:latest cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06
docker run -it -p 8000:8000 -e JOSH_REMOTE=https://github.com -e JOSH_EXTRA_OPTS=--no-background -v josh-vol:/data/git joshproject/josh-proxy:latest josh-proxy --local=$HOME/.cache/josh --remote=https://github.com --no-background
``` ```
This sets up a local volume `josh-vol` for josh's cache. This uses a directory `$HOME/.cache/josh` as a cache, to speed up repeated pulling/pushing.
### Importing changes from the rustc repo ### Importing changes from the rustc repo