progress

Author: josecorella

AwsEncryptionSDK/Makefile

@@ -5,6 +5,8 @@ ENABLE_EXTERN_PROCESSING=1
 
 TRANSPILE_TESTS_IN_RUST := 1
 
+ENABLE_EXTERN_PROCESSING=1
+
 include ../SharedMakefileV2.mk
 
 DIR_STRUCTURE_V2=V2

AwsEncryptionSDK/project.properties

@@ -0,0 +1,9 @@
+# This file stores the top level dafny version information.
+# All elements of the project need to agree on this version.
+dafnyVersion=4.9.0
+dafnyVerifyVersion=4.9.0
+dafnyFormatVersion=4.9.0
+projectJavaVersion=4.1.0
+mplDependencyJavaVersion=1.9.0-SNAPSHOT
+dafnyRuntimeJavaVersion=4.9.0
+smithyDafnyJavaConversionVersion=0.1.1

AwsEncryptionSDK/runtimes/python/poetry.lock

@@ -0,0 +1,22 @@
+[tool.poetry]
+name = "aws-encryption-sdk"
+version = "0.1.0"
+description = ""
+authors = ["AWS Crypto Tools <[email protected]>"]
+packages = [
+    { include = "aws_encryption_sdk", from = "src" }
+]
+# Include generated internaldafny files in package distributions,
+# even though they are not included in version control
+include = ["**/internaldafny/generated/*.py"]
+
+[tool.poetry.dependencies]
+python = "^3.11.0"
+aws-cryptographic-material-providers = "1.7.4"
+
+[tool.poetry.group.test.dependencies]
+pytest = "^7.4.0"
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"

AwsEncryptionSDK/runtimes/python/pyproject.toml

@@ -0,0 +1,6 @@
+# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+# Initialize generated Dafny
+from .internaldafny.generated import module_
+