From 6a2a6b9920bd09e7744463af31dde65748ad5767 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 22 Jan 2015 10:35:48 +0100
Subject: spit module path using / as directory separator

I know it seems wrong but if you call coq to get a path, you are likely
to pass it around, and this makes the dir separator of windows "\"
disappear immediately being interpreted as an escape character.

In cygwin "/" is also understood as a directory separator.
---
 toplevel/coqtop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 142f338674..0b9bb2f2ee 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -378,7 +378,7 @@ let schedule_vio_compilation () =
 let get_native_name s =
   (* We ignore even critical errors because this mode has to be super silent *)
   try
-    String.concat Filename.dir_sep [Filename.dirname s;
+    String.concat "/" [Filename.dirname s;
       Nativelib.output_dir; Library.native_name_from_filename s]
   with _ -> ""
 
-- 
cgit v1.2.3