diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-18 13:28:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-18 13:28:44 +0100 |
commit | 589f27933dcb44f3fd53b2e2691b934cfaa4986c (patch) | |
tree | d7bee19effd4b4168ea8b752a97d7523e491d1dd /modules/mono/build_scripts/mono_configure.py | |
parent | 5bc427a95e03f016b6c57b9f552e43b72cff82c5 (diff) | |
parent | 1c6b9bfdffde2d1c44b69f4bdb48833bf7f821cd (diff) |
Merge pull request #34419 from akien-mga/mono-osx-copy-libs
Mono: Copy native and btls libs on macOS
Diffstat (limited to 'modules/mono/build_scripts/mono_configure.py')
-rw-r--r-- | modules/mono/build_scripts/mono_configure.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/modules/mono/build_scripts/mono_configure.py b/modules/mono/build_scripts/mono_configure.py index 89d56def7d..033c467da9 100644 --- a/modules/mono/build_scripts/mono_configure.py +++ b/modules/mono/build_scripts/mono_configure.py @@ -446,18 +446,19 @@ def copy_mono_shared_libs(env, mono_root, target_mono_root_dir): if not os.path.isdir(target_mono_lib_dir): os.makedirs(target_mono_lib_dir) + lib_file_names = [] if platform == 'osx': - # TODO: Make sure nothing is missing - copy(os.path.join(mono_root, 'lib', 'libMonoPosixHelper.dylib'), target_mono_lib_dir) + lib_file_names = [lib_name + '.dylib' for lib_name in [ + 'libmono-btls-shared', 'libmono-native-compat', 'libMonoPosixHelper' + ]] elif is_unix_like(platform): lib_file_names = [lib_name + '.so' for lib_name in [ 'libmono-btls-shared', 'libmono-ee-interp', 'libmono-native', 'libMonoPosixHelper', 'libmono-profiler-aot', 'libmono-profiler-coverage', 'libmono-profiler-log', 'libMonoSupportW' ]] - for lib_file_name in lib_file_names: - copy_if_exists(os.path.join(mono_root, 'lib', lib_file_name), target_mono_lib_dir) - + for lib_file_name in lib_file_names: + copy_if_exists(os.path.join(mono_root, 'lib', lib_file_name), target_mono_lib_dir) def pkgconfig_try_find_mono_root(mono_lib_names, sharedlib_ext): tmpenv = Environment() |