diff options
| author |  Paul Steckler <steck@stecksoft.com> | 2017-06-21 15:32:18 -0400 |
|---|---|---|
| committer | Paul Steckler <steck@stecksoft.com> | 2017-06-26 10:57:19 -0400 |
| commit | c45e36f4de1b803aac623cb819f39842e54837d6 (patch) | |
| tree | 7e292c878e4175483ca35e38ff38e9db75182fcf /ide/coq.ml | |
| parent | 4fbb431c81116b04e9c34cd7c6ffbf5d5f204f5e (diff) | |
disable async on Windows by default
Diffstat (limited to 'ide/coq.ml')
| -rw-r--r-- | ide/coq.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index cd45e2fcd..67606380e 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -366,7 +366,14 @@ let bind_self_as f = (** This launches a fresh handle from its command line arguments. *) let spawn_handle args respawner feedback_processor = let prog = coqtop_path () in - let args = Array.of_list ("--xml_format=Ppcmds" :: "-async-proofs" :: "on" :: "-ideslave" :: args) in + let async_default = + (* disable async processing by default in Windows *) + if List.mem Sys.os_type ["Win32"; "Cygwin"] then + "off" + else + "on" + in + let args = Array.of_list ("--xml_format=Ppcmds" :: "-async-proofs" :: async_default :: "-ideslave" :: args) in let env = match !Flags.ideslave_coqtop_flags with | None -> None |