m

aws · Jan 13, 2025 · 6be36b6 · 6be36b6
1 parent 9b39e1a
commit 6be36b6
Show file tree

Hide file tree

Showing 7 changed files with 574 additions and 277 deletions.
diff --git a/DynamoDbEncryption/runtimes/rust/Cargo.toml b/DynamoDbEncryption/runtimes/rust/Cargo.toml
@@ -25,14 +25,12 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.10"
 chrono = "0.4.39"
 cpu-time = "1.0.0"
-dafny-runtime = "0.1.1"
+#dafny-runtime = "0.1.1"
+dafny-runtime = { path = "../../../releases/rust/db_esdk/dafny_runtime_rust", features = ["sync"] }
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
 [[example]]
 name = "main"
-
-[features]
-async-fixed = []
diff --git a/DynamoDbEncryption/runtimes/rust/src/software_externs.rs b/DynamoDbEncryption/runtimes/rust/src/software_externs.rs
@@ -24,7 +24,7 @@ pub mod software {
                             pub mod legacy {
                                 use crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::Error as DafnyError;
                                 use crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy;
-                                use ::std::rc::Rc;
+                                use ::dafny_runtime::Rc;
                                 type Legacy = ::dafny_runtime::Object<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::legacy::InternalLegacyOverride>;
 
                                 fn error(s: &str) -> Rc<DafnyError> {

diff --git a/releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml b/releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml
@@ -13,3 +13,6 @@ readme = "README.md"
 once_cell = "1.18.0"
 num = "0.4"
 itertools = "0.11.0"
+
+[features]
+sync = []