Skip to content
Snippets Groups Projects
Commit 45074ce2 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Fixing MPI vendor when is openmpi

parent 3cc87824
No related merge requests found
......@@ -175,6 +175,7 @@ if [ -d "$i_dir/MPI" ]; then
export PATH="$i_dir/MPI/bin:$PATH"
fi
is_mpi_openmpi=0
MPI_valid=no
if haveProg mpirun; then
......@@ -188,6 +189,7 @@ if haveProg mpirun; then
if [ x"$version" == x"openmpi" ]; then
is_mpi_openmpi=1
# Check if we are compiling with GPU support
if [ x"$gpu_support" == x"1" ]; then
......
......@@ -3,7 +3,11 @@
function set_mpi()
{
if [ x"$MPI_valid" == x"yes" ]; then
configure_options="$configure_options CXX=mpic++ "
if [ is_mpi_openmpi -eq 1 ]; then
configure_options="$configure_options CXX=mpic++ --mpivendor=openmpi"
else
configure_options="$configure_options CXX=mpic++ "
fi
else
if [ $call_test_working_mpi_options -eq 1 ]; then
test_working_mpi_options
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment