diff options
| author | David Rodriguez <deivid.rodriguez@riseup.net> | 2024-03-18 20:58:49 +0100 |
|---|---|---|
| committer | Takashi Kokubun <takashikkbn@gmail.com> | 2024-05-28 13:30:26 -0700 |
| commit | 642cf3fc8a0f7c31875d4bbc3628f835ebfc48a5 (patch) | |
| tree | a0b76a84df056902e24e99f065d4724540a5ebc2 | |
| parent | 57b56225acbf2d0c08c3c9271c531e389359f453 (diff) | |
Consider `target_prefix` in extension Makefiles
| -rwxr-xr-x | tool/rbinstall.rb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tool/rbinstall.rb b/tool/rbinstall.rb index 2a93864e4a..6b93b189c2 100755 --- a/tool/rbinstall.rb +++ b/tool/rbinstall.rb @@ -769,7 +769,12 @@ module RbInstall return [] if name.empty? feature = makefile[/^DLLIB[ \t]*=[ \t]*((?:.*\\\n)*.*)/, 1] - Array(feature.sub("$(TARGET)", name)) + feature = feature.sub("$(TARGET)", name) + + target_prefix = makefile[/^target_prefix[ \t]*=[ \t]*((?:.*\\\n)*.*)/, 1] + feature = File.join(target_prefix.delete_prefix("/"), feature) unless target_prefix.empty? + + Array(feature) end def makefile_path |
