Skip to content

Commit 234b9a6

Browse files
m
1 parent bb0e64e commit 234b9a6

File tree

3 files changed

+8
-4
lines changed

3 files changed

+8
-4
lines changed

codebuild/py312/decrypt_dafny_esdk_vectors_keyrings.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ phases:
2323
pre_build:
2424
commands:
2525
# Build Python MPL TestVector runner from source
26-
- sh scripts/install_mpl_test_vector_runner.sh
26+
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh
2727

2828
# Fetch test vectors from Dafny ESDK's most recent run
2929
# (Assuming the first result is most recent; seems to be correct...)

codebuild/py312/decrypt_golden_manifest_with_keyrings.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ phases:
2323
- unzip python-2.3.0.zip -d python-2.3.0
2424

2525
# Build Python MPL TestVector runner from source
26-
- sh scripts/install_mpl_test_vector_runner.sh
26+
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh
2727

2828
build:
2929
commands:

test_vector_handlers/scripts/install_mpl_test_vector_runner.sh

+6-2
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,16 @@
1-
# Build Python MPL TestVector runner from source
1+
# Builds the Python MPL TestVector runner from source.
2+
# This package is used by the ESDK-Python test vectors for testing with the MPL.
3+
4+
# This script is intended to be used by ESDK-Python's integration tests.
5+
# You may need or want to make local changes to get this work on your machine.
6+
27
# Clone MPL repo to get test vectors runner source code and the Dafny version to use
38
git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
49
# Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
510
export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)
611
curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip -L -o dafny.zip
712
unzip -qq dafny.zip && rm dafny.zip
813
export PATH="$PWD/dafny:$PATH"
9-
1014
# Build MPL test vector runner from source
1115
cd aws-cryptographic-material-providers-library/TestVectorsAwsCryptographicMaterialProviders/
1216
make transpile_python

0 commit comments

Comments
 (0)