diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-09-16 18:00:26 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-16 18:00:26 +0200 |
| commit | 206cecb06a959dae0ccdeeb0a5d26121b4e1b961 (patch) | |
| tree | 653a0a478db2550c2c18079d0bf121e00d980417 /configure.ml | |
| parent | 8c638c2a0dda99e557f0613cb06e1cd745820258 (diff) | |
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.
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index cafd7ec29..806ac381b 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 |