From b8d1438557bb53ebd5143f4353e4cb0f9265ee64 Mon Sep 17 00:00:00 2001
From: Federico Poli <federpoli@gmail.com>
Date: Tue, 26 Mar 2024 09:27:54 +0100
Subject: [PATCH] Generate paths as raw string literals

---
 viper-sys/build.rs | 2 +-
 vir/build.rs       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/viper-sys/build.rs b/viper-sys/build.rs
index d2ee663891..82423a0645 100644
--- a/viper-sys/build.rs
+++ b/viper-sys/build.rs
@@ -830,7 +830,7 @@ fn main() {
     // Write a file that imports the generated module by absolute path.
     let import_src = vec![
         "#[rustfmt::skip]".to_string(),
-        format!("#[path = \"{}\"]", generated_dir.join("mod.rs").display()),
+        format!("#[path = r\"{}\"]", generated_dir.join("mod.rs").display()),
         "pub mod wrappers;".to_string(),
     ]
     .join("\n");
diff --git a/vir/build.rs b/vir/build.rs
index 1cb55772cc..f29d31f360 100644
--- a/vir/build.rs
+++ b/vir/build.rs
@@ -20,7 +20,7 @@ fn main() {
         // so that one could do `clippy --fix`...
         "#[allow(clippy::uninlined_format_args)]".to_string(),
         "#[rustfmt::skip]".to_string(),
-        format!("#[path = \"{}\"]", gen_dir.join("mod.rs").display()),
+        format!("#[path = r\"{}\"]", gen_dir.join("mod.rs").display()),
         "mod gen;".to_string(),
     ]
     .join("\n");