From 0f98539919a3e19ac6fa60e194d929a9217d5155 Mon Sep 17 00:00:00 2001
From: Andrew Jewell <107044381+ajewellamz@users.noreply.github.com>
Date: Tue, 6 Aug 2024 18:55:32 -0400
Subject: [PATCH] chore: add mkdir for rust (#480)

---
 SmithyDafnyMakefile.mk | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/SmithyDafnyMakefile.mk b/SmithyDafnyMakefile.mk
index 1a49d2882..c17cb8735 100644
--- a/SmithyDafnyMakefile.mk
+++ b/SmithyDafnyMakefile.mk
@@ -546,8 +546,7 @@ transpile_dependencies_test_rust: LANG=rust
 transpile_dependencies_test_rust: transpile_dependencies_test
 
 _mv_implementation_rust:
-	rm -rf runtimes/rust/dafny_impl/src
-	mkdir -p runtimes/rust/dafny_impl/src
+	mkdir -p runtimes/rust/src
 # TODO: Currently need to insert an import of the the StandardLibrary.
 	python -c "import sys; data = sys.stdin.buffer.read(); sys.stdout.buffer.write(data.replace(b'\npub mod', b'\npub use dafny_standard_library::implementation_from_dafny::*;\n\npub mod', 1) if b'\npub mod' in data else data)" \
 	  < implementation_from_dafny-rust/src/implementation_from_dafny.rs > runtimes/rust/src/implementation_from_dafny.rs