[CI] [Rust] Adapt to new backend selection (#1545)

cf dalek-cryptography/curve25519-dalek#414 , https://github.com/dalek-cryptography/curve25519-dalek/pull/428/files Following https://github.com/dalek-cryptography/curve25519-dalek#word-size-for-serial-backends
mit-plv · Dec 16, 2022 · 0e51ce1 · 0e51ce1
1 parent e0286fa
commit 0e51ce1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/etc/ci/test-fiat-rust-curve25519-dalek.sh b/etc/ci/test-fiat-rust-curve25519-dalek.sh
@@ -14,7 +14,7 @@ cat >> Cargo.toml <<EOF
 fiat-crypto = { path = "../fiat-rust" }
 EOF
 
-cargo test --features="std fiat_u64_backend" --no-default-features || exit $?
-cargo test --features="std fiat_u32_backend" --no-default-features || exit $?
+RUSTFLAGS='--cfg curve25519_dalek_backend="fiat" --cfg curve25519_dalek_bits="64"' cargo test || exit $?
+RUSTFLAGS='--cfg curve25519_dalek_backend="fiat" --cfg curve25519_dalek_bits="32"' cargo test || exit $?
 
 popd >/dev/null