From 76a75e2ba94401860a94baf9ab9d1a9f821a3def Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Tue, 7 Mar 2023 16:03:20 +0100 Subject: [PATCH] openmpi: compilation script update to be compliant with openmpi-4.x --- products/compil_scripts/openmpi.sh | 38 +++++++++++++++++++----------- 1 file changed, 24 insertions(+), 14 deletions(-) diff --git a/products/compil_scripts/openmpi.sh b/products/compil_scripts/openmpi.sh index 73fd89b..13f5239 100755 --- a/products/compil_scripts/openmpi.sh +++ b/products/compil_scripts/openmpi.sh @@ -4,36 +4,46 @@ echo "########################################################################## echo "OpenMPI" $VERSION echo "##########################################################################" - - -# Attention la variable $PYTHOSTARTUP pose problem -> unset. -# Si erreur au make install -> environement "pollué" +rm -rf $BUILD_DIR +mkdir $BUILD_DIR +cd $BUILD_DIR + +cp -r $SOURCE_DIR/* . + +if [ -f autogen.pl ]; then + echo + echo "*** autoreconf -i" + chmod +x autogen.pl + ./autogen.pl + if [ $? -ne 0 ] + then + echo "ERROR on autogen.pl" + exit 1 + fi +fi echo echo "*** configure" -$SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL -if [ $? -ne 0 ] -then +$BUILD_DIR/configure --prefix=$PRODUCT_INSTALL +if [ $? -ne 0 ]; then echo "ERROR on configure" - exit 1 + exit 2 fi echo echo "*** make" $MAKE_OPTIONS make $MAKE_OPTIONS -if [ $? -ne 0 ] -then +if [ $? -ne 0 ]; then echo "ERROR on make" - exit 2 + exit 3 fi echo echo "*** make install" make install -if [ $? -ne 0 ] -then +if [ $? -ne 0 ]; then echo "ERROR on make install" - exit 3 + exit 4 fi echo -- 2.39.2