gmsh: disable openmp support since too old on windows / vs 2017-2022

[tools/sat_salome.git] / products / compil_scripts / petsc.sh

diff --git a/products/compil_scripts/petsc.sh b/products/compil_scripts/petsc.sh
old mode 100644 (file)
new mode 100755 (executable)
index b1b37ec..822f695
--- a/products/compil_scripts/petsc.sh
+++ b/products/compil_scripts/petsc.sh
@@ -11,19 +11,18 @@ cp -r $SOURCE_DIR/* .
 CONFIGURE_FLAGS=''
 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-f2cblaslapack=ext/f2cblaslapack-3.4.2.q4"
 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-slepc=ext/slepc-3.14.0"
-
+CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --with-debugging=0" # by default Petsc is build in debug mode
 echo
-if [ -n "${MPI_ROOT_DIR}" ]
-then
+if [-n "$SAT_HPC" ] && [ -n "$MPI_ROOT_DIR" ]; then
   echo "*** configure with mpi"
+  CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-hypre=ext/hypre-2.20.0"
   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}
 else
   echo "*** configure without mpi"
   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
 fi
 
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on configure"
     exit 1
 fi
@@ -33,20 +32,15 @@ MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
 echo
 echo "*** make" $MAKE_OPTIONS
 make $MAKE_OPTIONS
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on make"
     exit 2
 fi
 
-# CentOS 6 automatically set PETSC_ARCH to arch-linux2-c-debug : remove arch specification
-# MAKE_OPTIONS=$MAKE_OPTIONS" PETSC_ARCH=arch-linux-c-debug"
-
 echo
 echo "*** make install"
 make $MAKE_OPTIONS install
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on make install"
     exit 3
 fi