From 65f902f14953191d6f7b2ec1f338a34be5ed83ce Mon Sep 17 00:00:00 2001
From: Serhii Yaskovets <yaskovet@sbalzarini-mac-38.mpi-cbg.de>
Date: Wed, 26 Apr 2023 17:44:16 +0200
Subject: [PATCH] Forward MPI_ROOT to cmake
---
configure | 4 ++++
script/set_mpi | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/configure b/configure
index 71ff09bff..90f23c644 100755
--- a/configure
+++ b/configure
@@ -120,6 +120,7 @@ with_boost_program_options
with_boost_iostreams
with_blas
with_lapack
+with_mpi
with_suitesparse
with_petsc
with_eigen
@@ -509,6 +510,9 @@ do
mpivendor)
conf_options="$conf_options -DMPI_VENDOR=$ac_optarg"
;;
+ mpi)
+ conf_options="$conf_options -DMPI_ROOT=$ac_optarg"
+ ;;
vcdevel)
conf_options="$conf_options -DVc_ROOT=$ac_optarg"
;;
diff --git a/script/set_mpi b/script/set_mpi
index ef06cede4..dd041fd12 100755
--- a/script/set_mpi
+++ b/script/set_mpi
@@ -19,7 +19,7 @@ function set_mpi()
fi
MPI_installed=1
export PATH="$1/MPI/bin:$PATH"
- configure_options="$configure_options --with-mpivendor=openmpi"
+ configure_options="$configure_options --with-mpivendor=openmpi --with-mpi=$1/MPI"
fi
}
--
GitLab