@@ -42,6 +42,57 @@ AC_ARG_WITH([mpi],
42
42
] )
43
43
] )
44
44
45
+
46
+ AC_ARG_WITH ( [ mpi] ,
47
+ AS_HELP_STRING ( [ --with-mpi@<:@ =DIR@:>@ ] ,
48
+ [ Prefix where MPI is installed (default is MPIHOME and then MPI_HOME)] ) ,
49
+ [
50
+ dnl We have no way of knowing whether the user explicitly enabled mpi
51
+ dnl with --enable-mpi or whether it was set by default, so if the user
52
+ dnl specified --with-mpi=no or --without-mpi we're just going to tell them they've given
53
+ dnl competing options
54
+ AS_IF ( [ test "$enablempi" = yes && test "$withval" = no] ,
55
+ [ AC_MSG_ERROR ( [ Did you mean to disable MPI? If you really mean it, use the --disable-mpi option instead] ) ]
56
+ )
57
+ MPI="$withval"
58
+ ] ,
59
+ [
60
+ AS_ECHO ( [ "note: MPI library path not given..."] )
61
+ AS_IF ( [ test x"$MPIHOME" != x] ,
62
+ [
63
+ AS_ECHO ( [ "trying prefix=$MPIHOME"] )
64
+ MPI=$MPIHOME
65
+ ] ,
66
+ [
67
+ AS_IF ( [ test x"$MPI_HOME" != x] ,
68
+ [
69
+ AS_ECHO ( [ "trying prefix=$MPI_HOME"] )
70
+ MPI=$MPI_HOME
71
+ ] )
72
+ ] )
73
+ ] )
74
+
75
+ AC_ARG_WITH ( [ mpi-include] ,
76
+ AS_HELP_STRING ( [ --with-mpi-include@<:@ =DIR@:>@ ] ,
77
+ [ Prefix where MPI headers are installed (default is --with-mpi+/include)] ) ,
78
+ [
79
+ MPI_INCLUDES_PATH="$withval"
80
+ ] ,
81
+ [
82
+ MPI_INCLUDES_PATH="$MPI/include"
83
+ ] )
84
+
85
+ AC_ARG_WITH ( [ mpi-lib] ,
86
+ AS_HELP_STRING ( [ --with-mpi-lib@<:@ =DIR@:>@ ] ,
87
+ [ Prefix where MPI binaries are installed (default is --with-mpi+/lib)] ) ,
88
+ [
89
+ MPI_LIBS_PATH="$withval"
90
+ ] ,
91
+ [
92
+ MPI_LIBS_PATH="$MPI/lib"
93
+ ] )
94
+
95
+ #
45
96
# --------------------------------------------------------------
46
97
# Allow for disable-optional
47
98
# --------------------------------------------------------------
0 commit comments