|
1 | 1 | diff --git a/compiler/rustc_target/src/spec/mod.rs b/compiler/rustc_target/src/spec/mod.rs
|
2 |
| -index 235ab0b6e7d..87b204d711a 100644 |
| 2 | +index 941d767b..1b4004c4 100644 |
3 | 3 | --- a/compiler/rustc_target/src/spec/mod.rs
|
4 | 4 | +++ b/compiler/rustc_target/src/spec/mod.rs
|
5 |
| -@@ -1635,6 +1635,7 @@ fn $module() { |
| 5 | +@@ -1618,6 +1618,7 @@ fn $module() { |
6 | 6 |
|
7 | 7 | ("x86_64-unikraft-linux-musl", x86_64_unikraft_linux_musl),
|
8 | 8 |
|
9 | 9 | + ("riscv32em-athena-zkvm-elf", riscv32em_athena_zkvm_elf),
|
10 | 10 | ("riscv32i-unknown-none-elf", riscv32i_unknown_none_elf),
|
11 |
| - ("riscv32im-succinct-zkvm-elf", riscv32im_succinct_zkvm_elf), |
| 11 | + ("riscv32im-risc0-zkvm-elf", riscv32im_risc0_zkvm_elf), |
12 | 12 | ("riscv32im-unknown-none-elf", riscv32im_unknown_none_elf),
|
13 |
| -diff --git a/src/bootstrap/src/lib.rs b/src/bootstrap/src/lib.rs |
14 |
| -index 8e9d342e65d..d2dae37d73a 100644 |
15 |
| ---- a/src/bootstrap/src/lib.rs |
16 |
| -+++ b/src/bootstrap/src/lib.rs |
17 |
| -@@ -101,7 +101,7 @@ |
18 |
| - // #[cfg(bootstrap)] zkvm |
19 |
| - (Some(Mode::Std), "target_os", Some(&["zkvm"])), |
20 |
| - // #[cfg(bootstrap)] succinct |
21 |
| -- (Some(Mode::Std), "target_vendor", Some(&["succinct"])), |
22 |
| -+ (Some(Mode::Std), "target_vendor", Some(&["athena", "succinct"])), |
23 |
| - (Some(Mode::Std), "target_arch", Some(&["asmjs", "spirv", "nvptx", "xtensa"])), |
24 |
| - /* Extra names used by dependencies */ |
25 |
| - // FIXME: Used by serde_json, but we should not be triggering on external dependencies. |
26 | 13 | diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs
|
27 |
| -index ea620c64f3c..28363a2cb8a 100644 |
| 14 | +index eab9138b..60507063 100644 |
28 | 15 | --- a/src/tools/build-manifest/src/main.rs
|
29 | 16 | +++ b/src/tools/build-manifest/src/main.rs
|
30 |
| -@@ -119,6 +119,7 @@ |
| 17 | +@@ -123,6 +123,7 @@ |
31 | 18 | "powerpc-unknown-linux-gnu",
|
32 | 19 | "powerpc64-unknown-linux-gnu",
|
33 | 20 | "powerpc64le-unknown-linux-gnu",
|
34 | 21 | + "riscv32e-athena-zkvm-elf",
|
35 | 22 | "riscv32i-unknown-none-elf",
|
36 |
| - "riscv32im-succinct-zkvm-elf", |
| 23 | + "riscv32im-risc0-zkvm-elf", |
37 | 24 | "riscv32im-unknown-none-elf",
|
38 | 25 | diff --git a/compiler/rustc_target/src/spec/targets/riscv32em_athena_zkvm_elf.rs b/compiler/rustc_target/src/spec/targets/riscv32em_athena_zkvm_elf.rs
|
39 | 26 | new file mode 100644
|
40 |
| -index 00000000000..0ac603543b9 |
| 27 | +index 00000000..2a95006c |
41 | 28 | --- /dev/null
|
42 | 29 | +++ b/compiler/rustc_target/src/spec/targets/riscv32em_athena_zkvm_elf.rs
|
43 |
| -@@ -0,0 +1,38 @@ |
| 30 | +@@ -0,0 +1,44 @@ |
44 | 31 | +use crate::spec::{Cc, LinkerFlavor, Lld, PanicStrategy, RelocModel};
|
45 | 32 | +use crate::spec::{Target, TargetOptions};
|
46 | 33 | +
|
47 | 34 | +pub fn target() -> Target {
|
48 | 35 | + Target {
|
49 | 36 | + data_layout: "e-m:e-p:32:32-i64:64-n32-S128".into(),
|
50 | 37 | + llvm_target: "riscv32".into(),
|
| 38 | ++ metadata: crate::spec::TargetMetadata { |
| 39 | ++ description: None, |
| 40 | ++ tier: None, |
| 41 | ++ host_tools: None, |
| 42 | ++ std: None, |
| 43 | ++ }, |
51 | 44 | + pointer_width: 32,
|
52 | 45 | + arch: "riscv32".into(),
|
53 | 46 | +
|
|
0 commit comments