From 0e51ce1336a67eac4685b479cf03d0b61f5c48e5 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 16 Dec 2022 07:38:31 -0500
Subject: [PATCH] [CI] [Rust] Adapt to new backend selection (#1545)

cf https://github.com/dalek-cryptography/curve25519-dalek/issues/414 , https://github.com/dalek-cryptography/curve25519-dalek/pull/428/files

Following https://github.com/dalek-cryptography/curve25519-dalek#word-size-for-serial-backends
---
 etc/ci/test-fiat-rust-curve25519-dalek.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ci/test-fiat-rust-curve25519-dalek.sh b/etc/ci/test-fiat-rust-curve25519-dalek.sh
index 08b92571d9..20dd5e55b6 100755
--- 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