chore: Enable local testing (#1027)

aws · Nov 19, 2024 · ef6417d · ef6417d
1 parent 75f81e2
commit ef6417d
Show file tree

Hide file tree

Showing 8 changed files with 14 additions and 29 deletions.
diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
@@ -25,12 +25,7 @@ jobs:
             ubuntu-latest,
             macos-13,
           ]
-        language: [
-            java,
-            net,
-            # python,
-            rust,
-          ]
+        language: [java, net, python, rust]
         # https://taskei.amazon.dev/tasks/CrypTool-5284
         dotnet-version: ["6.0.x"]
     runs-on: ${{ matrix.os }}
@@ -197,18 +192,8 @@ jobs:
             ubuntu-latest,
             macos-13,
           ]
-        encrypting_language: [
-            java,
-            net,
-            # python,
-            rust,
-          ]
-        decrypting_language: [
-            java,
-            net,
-            # python,
-            rust,
-          ]
+        encrypting_language: [java, net, python, rust]
+        decrypting_language: [java, net, python, rust]
         dotnet-version: ["6.0.x"]
     runs-on: ${{ matrix.os }}
     permissions:

diff --git a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
@@ -18,7 +18,7 @@ var props = Properties().apply {
 var dafnyVersion = props.getProperty("dafnyVersion")
 
 group = "software.amazon.cryptography"
-version = "1.8.0"
+version = "1.8.0-SNAPSHOT"
 description = "AWS Cryptographic Material Providers Library"
 
 java {

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.8.0"
-aws-cryptography-internal-kms = "1.8.0"
-aws-cryptography-internal-dynamodb = "1.8.0"
-aws-cryptography-internal-primitives = "1.8.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.8.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.8.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
 
 # Package testing
 

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.8.0"
+aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
 
 # Package testing
 

diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
@@ -20,7 +20,7 @@ var props = Properties().apply {
 var dafnyVersion = props.getProperty("dafnyVersion")
 
 group = "software.amazon.cryptography"
-version = "1.8.0"
+version = "1.8.0-SNAPSHOT"
 description = "TestAwsCryptographicMaterialProviders"
 
 java {
@@ -68,7 +68,7 @@ repositories {
 dependencies {
     implementation("org.dafny:DafnyRuntime:${dafnyVersion}")
     implementation("software.amazon.smithy.dafny:conversion:0.1.1")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.8.0")
+    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.8.0-SNAPSHOT")
     implementation(platform("software.amazon.awssdk:bom:2.25.1"))
     implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")

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.8.0
+mplVersion=1.8.0-SNAPSHOT