Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsg

1 files changed, 9 insertions, 0 deletions

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index bd4d1c34..c866356a 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -402,6 +402,15 @@ let extra_rules () = begin
   if w32 then flag ["link"; "ocaml"; "program"; "ide"]
     (S [A "-ccopt"; A "-link -Wl,-subsystem,windows"; P w32ico]);
 
+(** The mingw32-ocaml cross-compiler currently uses Filename.dir_sep="/".
+    Let's tweak that... *)
+
+  if w32 then begin
+    ocaml_lib "tools/win32hack";
+    List.iter (fun (_,s,_) -> tag_file (s^".native") ["use_win32hack"])
+      all_binaries
+  end;
+
 (** Coqtop *)
 
   let () =