chore: Enable local testing (#1282)

aws · Feb 4, 2025 · 70e5809 · 70e5809
1 parent 2ac1f9c
commit 70e5809
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml b/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml
@@ -13,10 +13,10 @@ readme = "README.rst"
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = "1.9.0"
-aws-cryptography-internal-kms = "1.9.0"
-aws-cryptography-internal-dynamodb = "1.9.0"
-aws-cryptography-internal-primitives = "1.9.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
+aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"}
+aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"}
+aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"}
 
 # Package testing
 

diff --git a/AwsCryptographyPrimitives/runtimes/python/pyproject.toml b/AwsCryptographyPrimitives/runtimes/python/pyproject.toml
@@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = "1.9.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
 cryptography = "^43.0.1"
 
 # Package testing

diff --git a/ComAmazonawsDynamodb/runtimes/python/pyproject.toml b/ComAmazonawsDynamodb/runtimes/python/pyproject.toml
@@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"]
 [tool.poetry.dependencies]
 python = "^3.11.0"
 boto3 = "^1.35.42"
-aws-cryptography-internal-standard-library = "1.9.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
 # Package testing
 
 [tool.poetry.group.test]

diff --git a/ComAmazonawsKms/runtimes/python/pyproject.toml b/ComAmazonawsKms/runtimes/python/pyproject.toml
@@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"]
 [tool.poetry.dependencies]
 python = "^3.11.0"
 boto3 = "^1.35.42"
-aws-cryptography-internal-standard-library = "1.9.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
 
 # Package testing
 

diff --git a/project.properties b/project.properties
@@ -7,4 +7,4 @@
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
-mplVersion=1.9.0
+mplVersion=1.9.0-SNAPSHOT