Skip to content

Commit

Permalink
chore: prepare for sdk in Rust (#574)
Browse files Browse the repository at this point in the history
  • Loading branch information
ajewellamz authored Sep 11, 2024
1 parent 7b2982a commit 5af8da5
Show file tree
Hide file tree
Showing 3 changed files with 54 additions and 2 deletions.
26 changes: 26 additions & 0 deletions TestModels/aws-sdks/ddb/runtimes/rust/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
[package]
name = "aws_sdk_ddb"
version = "0.1.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[features]
wrapped-client = []

[dependencies]
aws-sdk-dynamodb = "1.45.0"
aws-smithy-runtime = {version = "1.6.0", features = ["client"] }
aws-smithy-runtime-api = {version = "1.7.0", features = ["client"] }
aws-smithy-types = "1.2.0"
dafny_runtime = { path = "../../../../dafny-dependencies/dafny_runtime_rust"}

[dev-dependencies]
aws_sdk_ddb = { path = ".", features = ["wrapped-client"] }

[dependencies.tokio]
version = "1.26.0"
features = ["full"]

[lib]
path = "src/implementation_from_dafny.rs"
26 changes: 26 additions & 0 deletions TestModels/aws-sdks/kms/runtimes/rust/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
[package]
name = "aws_sdk_ddb"
version = "0.1.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[features]
wrapped-client = []

[dependencies]
aws-sdk-kms = "1.43.0"
aws-smithy-runtime = {version = "1.6.0", features = ["client"] }
aws-smithy-runtime-api = {version = "1.7.0", features = ["client"] }
aws-smithy-types = "1.2.0"
dafny_runtime = { path = "../../../../dafny-dependencies/dafny_runtime_rust"}

[dev-dependencies]
aws_sdk_ddb = { path = ".", features = ["wrapped-client"] }

[dependencies.tokio]
version = "1.26.0"
features = ["full"]

[lib]
path = "src/implementation_from_dafny.rs"
4 changes: 2 additions & 2 deletions codegen/build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -58,8 +58,8 @@ subprojects {
*/

when (subproject.name) {
"smithy-dafny-codegen-test" -> print("Skipping publish for smithy-dafny-codegen-test")
"smithy-python-codegen" -> print("Skipping publish for smithy-python-codegen")
"smithy-dafny-codegen-test" -> println("Skipping publish for smithy-dafny-codegen-test")
"smithy-python-codegen" -> println("Skipping publish for smithy-python-codegen")
else -> {
if (subproject.name == "smithy-dafny-codegen-cli") {
apply(plugin = "application")
Expand Down

0 comments on commit 5af8da5

Please sign in to comment.