diff options
| author | Sophie Tauchert <999eagle@999eagle.moe> | 2018-09-16 15:20:44 +0200 |
|---|---|---|
| committer | Sophie Tauchert <999eagle@999eagle.moe> | 2018-09-16 15:20:44 +0200 |
| commit | 99cd17b102d865b1b010376918d4eb079c3e49dd (patch) | |
| tree | ef9818aaedc438cf711932a261a6c5d5c9bb8cb0 /modules/mono | |
| parent | 5614692a1a82ef0ce6fa1d268903ff38787bd728 (diff) | |
Check for mono binary when finding version
Diffstat (limited to 'modules/mono')
| -rw-r--r-- | modules/mono/config.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/modules/mono/config.py b/modules/mono/config.py index 70fd1a35f1..38a99f4c94 100644 --- a/modules/mono/config.py +++ b/modules/mono/config.py @@ -282,7 +282,14 @@ def pkgconfig_try_find_mono_version(): def mono_root_try_find_mono_version(mono_root): from compat import decode_utf8 - output = subprocess.check_output([os.path.join(mono_root, 'bin', 'mono'), '--version']) + mono_bin = os.path.join(mono_root, 'bin') + if os.path.isfile(os.path.join(mono_bin, 'mono')): + mono_binary = os.path.join(mono_bin, 'mono') + elif os.path.isfile(os.path.join(mono_bin, 'mono.exe')): + mono_binary = os.path.join(mono_bin, 'mono.exe') + else: + return None + output = subprocess.check_output([mono_binary, '--version']) first_line = decode_utf8(output.splitlines()[0]) try: return LooseVersion(first_line.split()[len('Mono JIT compiler version'.split())]) |