m

ajewellamz · ajewellamz · commit b62a2d1febfe · 2024-12-02T14:37:00.000-05:00
diff --git a/DynamoDbEncryption/Makefile b/DynamoDbEncryption/Makefile
@@ -98,8 +98,3 @@ SERVICE_DEPS_DynamoDbEncryptionTransforms := \
 	DynamoDbEncryption/dafny/DynamoDbEncryption \
 	DynamoDbEncryption/dafny/StructuredEncryption \
 	DynamoDbEncryption/dafny/DynamoDbItemEncryptor
-
-polymorph:
-	export DAFNY_VERSION=4.2
-	npm i --no-save prettier@3 prettier-plugin-java@2.5
-	make polymorph_code_gen PROJECT_DEPENDENCIES=
diff --git a/TestVectors/Makefile b/TestVectors/Makefile
@@ -80,6 +80,8 @@ SERVICE_DEPS_DDBEncryption := \
 	DynamoDbEncryption/dafny/DynamoDbEncryption \
 	submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders \
 
+transpile_implementation_rust: _remove_wrapped_client_rust
+
 _remove_wrapped_client_rust:
 	$(MAKE) _sed_file SED_FILE_PATH="runtimes/rust/src/deps/aws_cryptography_materialProviders.rs" \
 SED_BEFORE_STRING=' \#\[cfg(feature = "wrapped-client")\]' SED_AFTER_STRING='\/\/ Removed cfg(feature = "wrapped-client")'
