diff options
author | 2015-09-16 18:00:26 +0200 | |
---|---|---|
committer | 2015-09-16 18:00:26 +0200 | |
commit | 206cecb06a959dae0ccdeeb0a5d26121b4e1b961 (patch) | |
tree | 653a0a478db2550c2c18079d0bf121e00d980417 /tactics/tactics.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 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions