diff options
| author | Gluzskiy Alexandr <sss123next@list.ru> | 2015-06-29 08:00:15 +0300 |
|---|---|---|
| committer | Gluzskiy Alexandr <sss123next@list.ru> | 2015-06-29 08:00:15 +0300 |
| commit | 1cbcbc8695ca457a09bb3153681dfd7e7a2e30b4 (patch) | |
| tree | dda383cb7a3b3962d7eaa4bad9d9a07c9a298260 /dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch | |
| parent | 5fd8b3d4940f544f405e586f68b48ea7e569984f (diff) | |
boost from gentoo (version bump)
Diffstat (limited to 'dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch')
| -rw-r--r-- | dev-util/boost-build/files/boost-build-1.48.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.48.0-support_dots_in_python-buildid.patch b/dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch new file mode 100644 index 0000000..b3bee03 --- /dev/null +++ b/dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch @@ -0,0 +1,19 @@ +--- tools/common.jam ++++ tools/common.jam +@@ -759,7 +759,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) : |