From bf0b10853b7836c3bd892726d95df53ede77e666 Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Tue, 5 Nov 2024 12:59:05 -0800 Subject: [PATCH] m --- test_vector_handlers/tox.ini | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/test_vector_handlers/tox.ini b/test_vector_handlers/tox.ini index 44f34703a..8d66285e7 100644 --- a/test_vector_handlers/tox.ini +++ b/test_vector_handlers/tox.ini @@ -41,12 +41,12 @@ commands = pytest --basetemp={envtmpdir} -l --cov awses_test_vectors test/ --ign [testenv:install-mpl-runner] commands = # 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 + 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 - ; /bin/bash -c "export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)" - ; /bin/bash -c "curl https://github.com/dafny-lang/dafny/releases/download/v$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)/dafny-$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)-x64-ubuntu-20.04.zip -L -o dafny.zip" - ; /bin/bash -c "unzip -qq dafny.zip && rm dafny.zip" - ; /bin/bash -c 'export PATH="$PWD/dafny:$PATH"' + /bin/bash -c "export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)" + /bin/bash -c "curl https://github.com/dafny-lang/dafny/releases/download/v$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)/dafny-$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)-x64-ubuntu-20.04.zip -L -o dafny.zip" + /bin/bash -c "unzip -qq dafny.zip && rm dafny.zip" + /bin/bash -c 'export PATH="$PWD/dafny:$PATH"' # Build MPL test vector runner from source make -C aws-cryptographic-material-providers-library/TestVectorsAwsCryptographicMaterialProviders/ transpile_python