diff options
Diffstat (limited to 'dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch')
-rw-r--r-- | dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch b/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch new file mode 100644 index 000000000000..a04aa0b7aab1 --- /dev/null +++ b/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch @@ -0,0 +1,19 @@ +--- a/tools/common.jam ++++ b/tools/common.jam +@@ -763,7 +763,15 @@ + switch $(f:G) + { + case <base> : +- result += $(name:B) ; ++ local matched = [ MATCH "^(boost.*python)-.*" : $(name) ] ; ++ if $(matched) = boost_python || $(matched) = boost_mpi_python ++ { ++ result += $(name) ; ++ } ++ else ++ { ++ result += $(name:B) ; ++ } + + case <toolset> : + result += [ join-tag $(f:G=) : [ toolset-tag $(name) : $(type) : |