products/compil_scripts/petsc.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "Petsc" $VERSION
   5 echo "##########################################################################"
   6
   7
   8
   9 cp -r $SOURCE_DIR/* .
  10
  11 CONFIGURE_FLAGS=''
  12 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-f2cblaslapack=ext/f2cblaslapack-3.4.2.q4"
  13 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-slepc=ext/slepc-3.14.0"
  14 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --with-debugging=0" # by default Petsc is build in debug mode
  15 echo
  16 if [-n "$SAT_HPC" ] && [ -n "$MPI_ROOT_DIR" ]; then
  17   echo "*** configure with mpi"
  18   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-hypre=ext/hypre-2.20.0"
  19   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}
  20 else
  21   echo "*** configure without mpi"
  22   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
  23 fi
  24
  25 if [ $? -ne 0 ]; then
  26     echo "ERROR on configure"
  27     exit 1
  28 fi
  29
  30 MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
  31
  32 echo
  33 echo "*** make" $MAKE_OPTIONS
  34 make $MAKE_OPTIONS
  35 if [ $? -ne 0 ]; then
  36     echo "ERROR on make"
  37     exit 2
  38 fi
  39
  40 echo
  41 echo "*** make install"
  42 make $MAKE_OPTIONS install
  43 if [ $? -ne 0 ]; then
  44     echo "ERROR on make install"
  45     exit 3
  46 fi
  47
  48 echo
  49 echo "########## END"
  50