Generate paths as raw string literals

viperproject · Mar 26, 2024 · b8d1438 · b8d1438
1 parent edaf5f1
commit b8d1438
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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");