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

Auto merge of #2736 - RalfJung:josh, r=oli-obk

Browse Source 
update josh instructions

Fixes https://github.com/rust-lang/miri/issues/2730

r\? `@oli-obk`
This commit is contained in:
bors 2022-12-21 16:59:31 +00:00
commit 5b64c91c26
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -232,16 +232,16 @@ 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 We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the
changes between the rustc and Miri repositories. For now, the latest git version rustc and Miri repositories. The eaisest way to run josh is via docker:
of josh needs to be built from source. This downloads and runs josh:
```sh ```sh
git clone https://github.com/josh-project/josh docker pull joshproject/josh-proxy:latest
cd josh 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
cargo run --release -p josh-proxy -- --local=local --remote=https://github.com --no-background
``` ```
This sets up a local volume `josh-vol` for josh's cache.
### Importing changes from the rustc repo ### Importing changes from the rustc repo
Josh needs to be running, as described above. Josh needs to be running, as described above.