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 /tactics | |
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 'tactics')
0 files changed, 0 insertions, 0 deletions