diff options
Diffstat (limited to 'dev-util/wstool/files/prefix2.patch')
| -rw-r--r-- | dev-util/wstool/files/prefix2.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev-util/wstool/files/prefix2.patch b/dev-util/wstool/files/prefix2.patch new file mode 100644 index 000000000000..934443f98707 --- /dev/null +++ b/dev-util/wstool/files/prefix2.patch @@ -0,0 +1,26 @@ +Index: wstool-0.1.13/setup.py +=================================================================== +--- wstool-0.1.13.orig/setup.py ++++ wstool-0.1.13/setup.py +@@ -26,18 +26,11 @@ def _resolve_prefix(prefix, type): + # issue: https://github.com/vcstools/wstool/issues/81 + osx_system_prefix = '/System/Library/Frameworks/Python.framework/Versions' + if type == 'man': +- if prefix == '/usr': +- return '/usr/share' +- if sys.prefix.startswith(osx_system_prefix): +- return '/usr/local/share' ++ return os.path.join(prefix, 'share') + elif type == 'bash_comp': +- if prefix == '/usr': +- return '/' +- if sys.prefix.startswith(osx_system_prefix): +- return '/usr/local' ++ return os.path.join(prefix, '../') + elif type == 'zsh_comp': +- if sys.prefix.startswith(osx_system_prefix): +- return '/usr/local' ++ return os.path.join(prefix, '../') + else: + raise ValueError('not supported type') + return prefix |