From 206cecb06a959dae0ccdeeb0a5d26121b4e1b961 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 16 Sep 2015 18:00:26 +0200
Subject: Disable native_compute on Windows by default.

Native_compute is not working properly on Windows due to command line size
limitations and the lack of namespaces in OCaml. Using compiler-libs could
solve this, but it is unclear how to ensure stability w.r.t. future versions of
OCaml.
---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index cafd7ec29d..806ac381b2 100644
--- a/configure.ml
+++ b/configure.ml
@@ -252,7 +252,7 @@ module Prefs = struct
   let profile = ref false
   let annotate = ref false
   let makecmd = ref "make"
-  let nativecompiler = ref true
+  let nativecompiler = ref (not (os_type_win32 || os_type_cygwin))
   let coqwebsite = ref "http://coq.inria.fr/"
   let force_caml_version = ref false
 end
-- 
cgit v1.2.3