From: Nabil Ghodbane Date: Tue, 7 Mar 2023 15:03:20 +0000 (+0100) Subject: openmpi: compilation script update to be compliant with openmpi-4.x X-Git-Tag: V9_11_0~96 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=76a75e2ba94401860a94baf9ab9d1a9f821a3def;p=tools%2Fsat_salome.git openmpi: compilation script update to be compliant with openmpi-4.x --- 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