summaryrefslogtreecommitdiff
blob: d3bd646a8ebbd945c647a9bd1c35c7fbed8c98a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
Index: tools/build/v2/tools/mpi.jam
===================================================================
--- tools/build/v2/tools/mpi.jam        (revision 57744)
+++ tools/build/v2/tools/mpi.jam        (working copy)
@@ -156,14 +156,27 @@
         # into a feature.
         local match = [ MATCH "^(-.)(.*)" : $(cmdline) ] ;
         local matched ;
-        if $(match) && $(match[2]) {
+        if $(match) && $(match[2]) {
            local prefix = $(match[1]) ;
            if $(feature_kinds$(prefix)) {
                local name = $(feature_kinds$(prefix)) ;
                local add = [ add_feature $(prefix) $(name) $(cmdline) ] ;

                if $(add) {
-                  result += $(add[1]) ;
+
+                  if $(add[1]) = <find-shared-library>pthread
+                  {
+                      # Uhm. It's not really nice that this MPI implementation
+                      # uses -lpthread as opposed to -pthread. We do want to
+                      # set <threading>multi, instead of -lpthread.
+                      result += "<threading>multi" ;
+                      MPI_EXTRA_REQUIREMENTS += "<threading>multi" ;
+                  }
+                  else
+                  {
+                      result += $(add[1]) ;
+                  }
+
                   cmdline = $(add[2]) ;
                   matched = yes ;
                }