Skip to content

Commit

Permalink
m
Browse files Browse the repository at this point in the history
  • Loading branch information
lucasmcdonald3 committed Nov 5, 2024
1 parent bb0e64e commit 234b9a6
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 4 deletions.
2 changes: 1 addition & 1 deletion codebuild/py312/decrypt_dafny_esdk_vectors_keyrings.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ phases:
pre_build:
commands:
# Build Python MPL TestVector runner from source
- sh scripts/install_mpl_test_vector_runner.sh
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh

# Fetch test vectors from Dafny ESDK's most recent run
# (Assuming the first result is most recent; seems to be correct...)
Expand Down
2 changes: 1 addition & 1 deletion codebuild/py312/decrypt_golden_manifest_with_keyrings.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ phases:
- unzip python-2.3.0.zip -d python-2.3.0

# Build Python MPL TestVector runner from source
- sh scripts/install_mpl_test_vector_runner.sh
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh

build:
commands:
Expand Down
Original file line number Diff line number Diff line change
@@ -1,12 +1,16 @@
# Build Python MPL TestVector runner from source
# Builds the Python MPL TestVector runner from source.
# This package is used by the ESDK-Python test vectors for testing with the MPL.

# This script is intended to be used by ESDK-Python's integration tests.
# You may need or want to make local changes to get this work on your machine.

# Clone MPL repo to get test vectors runner source code and the Dafny version to use
git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
# Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)
curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip -L -o dafny.zip
unzip -qq dafny.zip && rm dafny.zip
export PATH="$PWD/dafny:$PATH"

# Build MPL test vector runner from source
cd aws-cryptographic-material-providers-library/TestVectorsAwsCryptographicMaterialProviders/
make transpile_python
Expand Down

0 comments on commit 234b9a6

Please sign in to comment.