chore: automate release

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/start_release.sh

@@ -0,0 +1,32 @@
+#!/bin/bash
+
+cd $( dirname ${BASH_SOURCE[0]} )
+
+REGEX_VERSION='^\d+\.\d+\.\d+$'
+
+echo "$1" | egrep -q $REGEX_VERSION
+if [ $? -ne 0 ]; then
+   echo 1>&2 "Version \"$1\" must be N.N.N"
+   exit 1
+fi
+
+perl -pe "s/^version = .*$/version = \"$1\"/" < Cargo.toml > new_Cargo.toml
+mv new_Cargo.toml Cargo.toml
+
+find src -depth 1 | egrep -v '(intercept.rs|lib.rs|software_externs.rs)' | xargs rm -rf
+cd ../..
+make polymorph_rust transpile_rust test_rust
+cd runtimes/rust
+rm -rf target
+rm -rf ../../../releases/rust/db_esdk
+cp -r . ../../../releases/rust/db_esdk
+cd ../../../releases/rust/db_esdk
+git checkout dafny_runtime_rust
+rm -f *~
+rm -f copy_externs.sh prepare_release.sh test_release *.pem
+echo Cargo.lock > .gitignore
+echo target >> .gitignore
+
+cargo test
+cargo run --example main
+rm -f Cargo.lock *.pem

DynamoDbEncryption/runtimes/rust/test_examples/.gitignore

@@ -0,0 +1,3 @@
+*~
+*.pem
+src

DynamoDbEncryption/runtimes/rust/test_examples/Cargo.toml

@@ -0,0 +1,30 @@
+[package]
+name = "aws-db-esdk-examples"
+version = "0.1.0"
+edition = "2021"
+rust-version = "1.80.0"
+keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
+license = "ISC AND (Apache-2.0 OR ISC)"
+description = "aws-db-esdk is a library for implementing client side encryption with DynamoDB."
+homepage = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk"
+repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk"
+authors = ["AWS-CryptoTools"]
+documentation = "https://docs.rs/crate/aws-db-esdk"
+readme = "README.md"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+aws-config = "1.5.10"
+aws-lc-rs = "1.11.1"
+aws-lc-sys = "0.23.1"
+aws-sdk-dynamodb = "1.54.0"
+aws-sdk-kms = "1.50.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.9"
+chrono = "0.4.38"
+dafny-runtime = "0.1.1"
+dashmap = "6.1.0"
+pem = "3.0.4"
+tokio = {version = "1.41.1", features = ["full"] }
+uuid = { version = "1.11.0", features = ["v4"] }

DynamoDbEncryption/runtimes/rust/test_published.sh

@@ -0,0 +1,9 @@
+#!/bin/bash -eu
+
+cd $( dirname ${BASH_SOURCE[0]} )
+
+rm -rf test_examples/src
+cp -r examples test_examples/src/
+cd test_examples
+cargo add aws-db-esdk
+cargo run