m

AwsEncryptionSDK/runtimes/rust/.gitignore

@@ -1,18 +1,35 @@
-target
+*.pem
 Cargo.lock
-src/implementation_from_dafny.rs
 client.rs
-src/client/
 conversions.rs
-src/conversions/
 deps.rs
-src/deps/
 error.rs
-src/error/
 operation.rs
+src/aes_gcm.rs
+src/client/
+src/concurrent_call.rs
+src/conversions/
+src/dafny_libraries.rs
+src/ddb.rs
+src/deps/
+src/digest.rs
+src/ecdh.rs
+src/ecdsa.rs
+src/error/
+src/hmac.rs
+src/implementation_from_dafny.rs
+src/kms.rs
+src/local_cmc.rs
 src/operation/
+src/random.rs
+src/rsa.rs
+src/sets.rs
+src/software_externs.rs
+src/storm_tracker.rs
+src/time.rs
+src/types/
+src/uuid.rs
 standard_library_conversions.rs
 standard_library_externs.rs
+target
 types.rs
-src/types/
-*.pem

AwsEncryptionSDK/runtimes/rust/copy_externs.sh

@@ -0,0 +1,25 @@
+#!/bin/bash -eu
+
+cd $( dirname ${BASH_SOURCE[0]} )
+
+SRC=../../../mpl/AwsCryptographicMaterialProviders/runtimes/rust/src/
+
+cp $SRC/aes_gcm.rs src
+# MPL needs update to add 'allow dead code'
+# cp $SRC/aes_kdf_ctr.rs src
+cp $SRC/concurrent_call.rs src
+cp $SRC/dafny_libraries.rs src
+cp $SRC/ddb.rs src
+cp $SRC/digest.rs src
+cp $SRC/ecdh.rs src
+cp $SRC/ecdsa.rs src
+cp $SRC/hmac.rs src
+cp $SRC/kms.rs src
+cp $SRC/local_cmc.rs src
+cp $SRC/random.rs src
+cp $SRC/rsa.rs src
+cp $SRC/sets.rs src
+cp $SRC/software_externs.rs src
+cp $SRC/storm_tracker.rs src
+cp $SRC/time.rs src
+cp $SRC/uuid.rs src