products/compil_scripts/petsc-3.15.0.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "Petsc" $VERSION
   5 echo "##########################################################################"
   6
   7 rm -rf $BUILD_DIR
   8 mkdir $BUILD_DIR
   9 cd $BUILD_DIR
  10 cp -rf $SOURCE_DIR/* .
  11
  12 CONFIGURE_FLAGS=''
  13 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-f2cblaslapack=ext/f2cblaslapack-3.4.2.q4.tar.gz"
  14 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-slepc=ext/slepc-3.15.0.tar.gz"
  15 if [ "$SAT_hdf5_IS_NATIVE" != "1" ]; then
  16     CONFIGURE_FLAGS+=" --with-hdf5-dir=${HDF5_ROOT_DIR}"
  17 fi
  18 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-metis=ext/metis-5.1.0-p10.tar.gz"
  19 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --with-debugging=0" # by default Petsc is build in debug mode
  20 echo
  21 if [-n "$SAT_HPC" ] && [ -n "$MPI_ROOT_DIR" ]; then
  22   echo "*** configure with mpi"
  23   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-hypre=ext/hypre-2.20.0.tar.gz"
  24   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-parms=ext/parms-3.2-p5.tar.gz"
  25   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-parmetis=ext/parmetis-4.0.3-p6.tar.gz"
  26   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-ptscotch=ext/scotch_6.1.0.tar.gz"
  27   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}
  28 else
  29   echo "*** configure without mpi"
  30   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
  31 fi
  32
  33 if [ $? -ne 0 ]
  34 then
  35     echo "ERROR on configure"
  36     exit 1
  37 fi
  38
  39 MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
  40
  41 echo
  42 echo "*** make" $MAKE_OPTIONS
  43 make $MAKE_OPTIONS
  44 if [ $? -ne 0 ]
  45 then
  46     echo "ERROR on make"
  47     exit 2
  48 fi
  49
  50 # CentOS 6 automatically set PETSC_ARCH to arch-linux2-c-debug : remove arch specification
  51 # MAKE_OPTIONS=$MAKE_OPTIONS" PETSC_ARCH=arch-linux-c-debug"
  52
  53 echo
  54 echo "*** make install"
  55 make $MAKE_OPTIONS install
  56 if [ $? -ne 0 ]
  57 then
  58     echo "ERROR on make install"
  59     exit 3
  60 fi
  61
  62 echo
  63 echo "########## END"
  64