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 0000000..bddcdac --- /dev/null +++ b/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch @@ -0,0 +1,19 @@ +--- tools/common.jam.orig 2013-08-27 12:13:56.865158748 +0400 ++++ tools/common.jam 2013-08-27 12:15:08.760162210 +0400 +@@ -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) : |