makefile

Author: rishav-karanjit

TestVectors/Makefile

@@ -125,4 +125,35 @@ _sed_types_file_remove_extern:
 	echo "no types file"
 
 _sed_types_file_add_extern:
-	echo "no types file"
+	echo "no types file"
+
+_polymorph_go: purge_polymorph_code
+
+# Smithy-dafny generated shim needs a long term fix. 
+# TODO: Remove this commands once smithy-dafny is fixed
+# This commands does not work on windows
+# https://taskei.amazon.dev/tasks/CrypTool-5283
+purge_polymorph_code:
+	find .. -name "shim.go" | xargs sed -i $(SED_PARAMETER) 's/(_static \*CompanionStruct_Default___)//g'
+	rm -rf runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated \
+		runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \
+		runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService \
+		runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated \
+		runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \ 
+		runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService
+
+
+_transpile_implementation_all:
+	@echo "No polymorphing of dependency"
+
+_transpile_test_all:
+	@echo "No polymorphing of dependency"
+
+_transpile_dependencies:
+	@echo "No polymorphing of dependency"
+
+_transpile_dependencies_test:
+	@echo "No polymorphing of dependency"
+
+mvn_local_deploy_dependencies:
+	@echo "No polymorphing of dependency"