m

Author: josecorella

AwsEncryptionSDK/Makefile

@@ -107,3 +107,20 @@ restore_directories:
 			echo "Directory $$dir not found"; \
 		fi \
 	done
+
+PYTHON_MODULE_NAME=aws_encryption_sdk
+
+TRANSLATION_RECORD_PYTHON := \
+    --translation-record ../mpl/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr \
+    --translation-record ../mpl/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr \
+    --translation-record ../mpl/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr \
+    --translation-record ../mpl/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr \
+                --translation-record ../mpl/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr
+
+PYTHON_DEPENDENCY_MODULE_NAMES := \
+        --dependency-library-name=aws.cryptography.primitives=aws_cryptography_primitives \
+        --dependency-library-name=com.amazonaws.kms=aws_cryptography_internal_kms \
+        --dependency-library-name=com.amazonaws.dynamodb=aws_cryptography_internal_dynamodb \
+        --dependency-library-name=aws.cryptography.materialProviders=aws_cryptographic_material_providers \
+        --dependency-library-name=aws.cryptography.keyStore=aws_cryptographic_material_providers \
+        --dependency-library-name=smithy.api=aws_cryptographic_material_providers