Escape forward slashes in paths for Windows

viperproject · Mar 25, 2024 · ddca4b4 · ddca4b4
1 parent df31314
commit ddca4b4
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/vir/build.rs b/vir/build.rs
@@ -20,7 +20,15 @@ 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()),
+        // Escape "\" as "\\", especially for Windows
+        format!(
+            "#[path = \"{}\"]",
+            gen_dir
+                .join("mod.rs")
+                .display()
+                .to_string()
+                .replace('\\', "\\\\")
+        ),
         "mod gen;".to_string(),
     ]
     .join("\n");