diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-02-03 22:01:17 +0100 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-02-13 18:32:58 +0100 |
| commit | bb3c3713929ff8647004c18faaebcc311335cfa9 (patch) | |
| tree | bf738be515bb99261f027c3fa1d7c4b89282a673 /ide/ideutils.ml | |
| parent | dcb23edad4debc0f4856580910cb5eba00077006 (diff) | |
Hardcode how coqide have to look for coqtop in MacOS bundle
Sorry, that is ugly. Please revert if you see a better way to do it.
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index a86944269..84ef8f40d 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -243,7 +243,14 @@ let coqtop_path () = let i = Str.search_backward (Str.regexp_string "coqide") prog pos in String.blit "coqtop" 0 prog i 6; - if Sys.file_exists prog then prog else "coqtop" + if Sys.file_exists prog then prog + else + let in_macos_bundle = + Filename.concat + (Filename.dirname prog) + (Filename.concat "../Resources/bin" (Filename.basename prog)) + in if Sys.file_exists in_macos_bundle then in_macos_bundle + else "coqtop" with Not_found -> "coqtop" in file |