Skip to content

Commit

Permalink
auto commit
Browse files Browse the repository at this point in the history
  • Loading branch information
@rishav-karanjit
rishav-karanjit committed Dec 23, 2024
1 parent 35b3b78 commit 229fbe4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions TestVectorsAwsCryptographicMaterialProviders/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -175,14 +175,14 @@ TRANSLATION_RECORD_GO := \
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr


polymorph_go: _purge_polymorph_code
polymorph_go: purge_polymorph_code

# Smithy-dafny generated shim needs a long term fix.
# Smithy-dafny generates polymorph code of MPL in test vectors.
# TODO: Remove these commands once smithy-dafny is fixed
# These commands does not work on windows
# https://taskei.amazon.dev/tasks/CrypTool-5283
_purge_polymorph_code:
purge_polymorph_code:
find .. -name "shim.go" | xargs sed -i $(SED_PARAMETER) 's/(_static \*CompanionStruct_Default___)//g'
rm -rf runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated \
runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes \
Expand Down

0 comments on commit 229fbe4

Please sign in to comment.