diff --git a/AwsEncryptionSDK/runtimes/rust/.gitignore b/AwsEncryptionSDK/runtimes/rust/.gitignore index 363d53d5e..e591eeb60 100644 --- a/AwsEncryptionSDK/runtimes/rust/.gitignore +++ b/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 diff --git a/AwsEncryptionSDK/runtimes/rust/copy_externs.sh b/AwsEncryptionSDK/runtimes/rust/copy_externs.sh new file mode 100755 index 000000000..b15112ec8 --- /dev/null +++ b/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