3 echo "##########################################################################"
5 echo "##########################################################################"
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
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}
21 echo "*** configure without mpi"
22 ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
26 echo "ERROR on configure"
30 MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
33 echo "*** make" $MAKE_OPTIONS
41 echo "*** make install"
42 make $MAKE_OPTIONS install
44 echo "ERROR on make install"