From 92e491097dbd7ca610ded20c3c4a3bb978c996eb Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 16 Apr 2015 11:07:29 +0200
Subject: configure: fix paths on cygwin

Long story short: Filname.concat and other OCaml provided functions
to be "cross platform" don't work for us for two reasons:
1. their behavior is fixed when one compiles ocaml, not when one runs it
2. the build system of Coq is unix only

What is wrong with 1 is that if one compiles ocaml for windows
without requiring cygwin.dll (a good thing, since you don't need to
have cygwin to run ocaml) then the runtime always uses \
as dir_sep, no matter if you are running ocaml from a cygwin shell.
If you use \ as a dir separaton in cygwin command lines, without
going trough the cygpath "mangler", then things go wrong.

The second point is that the makefiles we have need a unix like
environment (e.g. we call sed).  So you can't compile Coq without
cygwin, unless you use a different build system, that is not what
we support (1 build system is enough work already, IMO).

To sum up: Running coq/ocaml requires no cygwin, comipling coq requires
a unix like shell, hence paths shall be unix like in configure/build stuff.
---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index 9ff483603c..0169dffa9c 100644
--- a/configure.ml
+++ b/configure.ml
@@ -27,7 +27,7 @@ let die msg = eprintf "%s\nConfiguration script failed!\n" msg; exit 1
 
 let s2i = int_of_string
 let i2s = string_of_int
-let (/) = Filename.concat
+let (/) x y = x ^ "/" ^ y
 
 (** Remove the final '\r' that may exists on Win32 *)
 
-- 
cgit v1.2.3