From 75d56709274a5bcdc94fb26da6843ae0770cc826 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 15 May 2012 12:49:49 +0000
Subject: when cross-compiling with mingw32, let's fix the Filename.dir_sep

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15327 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/win32hack.mllib       | 1 +
 tools/win32hack_filename.ml | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 tools/win32hack.mllib
 create mode 100644 tools/win32hack_filename.ml

(limited to 'tools')

diff --git a/tools/win32hack.mllib b/tools/win32hack.mllib
new file mode 100644
index 0000000000..42395f65c7
--- /dev/null
+++ b/tools/win32hack.mllib
@@ -0,0 +1 @@
+Win32hack_filename
\ No newline at end of file
diff --git a/tools/win32hack_filename.ml b/tools/win32hack_filename.ml
new file mode 100644
index 0000000000..74f70686fe
--- /dev/null
+++ b/tools/win32hack_filename.ml
@@ -0,0 +1,4 @@
+(* The mingw32-ocaml cross-compiler currently uses Filename.dir_sep="/".
+   Let's tweak that... *)
+
+let _ = Filename.dir_sep.[0] <- '\\'
-- 
cgit v1.2.3