Skip to content

Commit

Permalink
Update config
Browse files Browse the repository at this point in the history
  • Loading branch information
@lrettig
lrettig committed Jun 8, 2024
1 parent 7e65c81 commit 3cee681
Show file tree
Hide file tree
Showing 3 changed files with 18 additions and 4 deletions.
4 changes: 2 additions & 2 deletions build.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,5 @@ source config.sh

# Will create component archives (dists) ./rust/build/dist
cd rust
CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build
CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2
CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --target $TOOLCHAIN_HOST_TRIPLET,riscv32em-athena-zkvm-elf
CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2 --target $TOOLCHAIN_HOST_TRIPLET,riscv32em-athena-zkvm-elf
15 changes: 15 additions & 0 deletions patches/config.ci.toml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
change-id = 121754

[build]
extended = true
tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
configure-args = []
cargo-native-static = true

[rust]
lld = true
llvm-tools = true
channel = "nightly"

[llvm]
targets = "AArch64;RISCV;X86"
3 changes: 1 addition & 2 deletions patches/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
change-id = 121754

[build]
target = ["riscv32em-athena-zkvm-elf"]
extended = true
tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
configure-args = []
Expand All @@ -12,4 +11,4 @@ llvm-tools = true
channel = "nightly"

[llvm]
download-ci-llvm = false
targets = "AArch64;RISCV;X86"

0 comments on commit 3cee681

Please sign in to comment.