From 78a904e8c7e38279a86abd927aaaf1262242fa9c Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Fri, 19 Nov 2021 09:48:57 +0100 Subject: [PATCH] use mpi4py-3.0.3.tar.gz if no central installation is present --- products/compil_scripts/petsc-3.16.0.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/products/compil_scripts/petsc-3.16.0.sh b/products/compil_scripts/petsc-3.16.0.sh index a8031ac..8d2eccf 100755 --- a/products/compil_scripts/petsc-3.16.0.sh +++ b/products/compil_scripts/petsc-3.16.0.sh @@ -22,8 +22,13 @@ then CONFIGURE_FLAGS+=" --download-parms=ext/parms-3.2-p5.tar.gz" CONFIGURE_FLAGS+=" --download-parmetis=ext/parmetis-4.0.3-p6.tar.gz" CONFIGURE_FLAGS+=" --download-ptscotch=ext/scotch_6.1.0.tar.gz" -# CONFIGURE_FLAGS+=" --download-mpi4py=ext/mpi4py-3.0.3.tar.gz" - CONFIGURE_FLAGS+=" --with-mpi4py-dir=${MPI4PY_ROOT_DIR}" + if [ -n "${MPI4PY_ROOT_DIR}" ] + then + echo "*** mpi4py external dependency detected..." + CONFIGURE_FLAGS+=" --with-mpi4py-dir=${MPI4PY_ROOT_DIR}" + else + CONFIGURE_FLAGS+=" --download-mpi4py=ext/mpi4py-3.0.3.tar.gz" + fi ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS} else echo "*** configure without mpi" -- 2.39.2