3 echo "##########################################################################"
5 echo "##########################################################################"
7 LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
9 case $LINUX_DISTRIBUTION in
11 echo "setting PETSC_DIR environment variable"
12 export PETSC_DIR=${BUILD_DIR}
18 # ensure that build directory is really deleted
22 cp -rf $SOURCE_DIR/* .
25 CONFIGURE_FLAGS+=" --download-f2cblaslapack=ext/f2cblaslapack-3.4.2.q4.tar.gz"
26 CONFIGURE_FLAGS+=" --download-slepc=ext/slepc-3.16.0.tar.gz"
27 if [ "$SAT_hdf5_IS_NATIVE" != "1" ]; then
28 CONFIGURE_FLAGS+=" --with-hdf5-dir=${HDF5_ROOT_DIR}"
30 CONFIGURE_FLAGS+=" --download-metis=ext/metis-5.1.0-p10.tar.gz"
31 CONFIGURE_FLAGS+=" --with-debugging=0" # by default Petsc is build in debug mode
32 CONFIGURE_FLAGS+=" --with-petsc4py=yes"
33 CONFIGURE_FLAGS+=" --download-slepc-configure-arguments=--with-slepc4py=yes "
35 if [ -n "${SAT_HPC}" ]
37 CONFIGURE_FLAGS+=" --download-hypre=ext/hypre-2.20.0.tar.gz"
38 CONFIGURE_FLAGS+=" --download-parms=ext/parms-3.2-p5.tar.gz"
39 CONFIGURE_FLAGS+=" --download-parmetis=ext/parmetis-4.0.3-p6.tar.gz"
40 CONFIGURE_FLAGS+=" --download-ptscotch=ext/scotch_6.1.0.tar.gz"
41 if [ -n "${MPI4PY_ROOT_DIR}" ]
43 CONFIGURE_FLAGS+=" --with-mpi4py-dir=${MPI4PY_ROOT_DIR}"
45 CONFIGURE_FLAGS+=" --download-mpi4py=ext/mpi4py-3.0.3.tar.gz"
47 echo "*** configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}"
48 ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}
50 echo "*** configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}"
51 ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
56 echo "ERROR on configure"
60 MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
63 echo "*** make" $MAKE_OPTIONS
71 # CentOS 6 automatically set PETSC_ARCH to arch-linux2-c-debug : remove arch specification
72 # MAKE_OPTIONS=$MAKE_OPTIONS" PETSC_ARCH=arch-linux-c-debug"
75 echo "*** make install"
76 make $MAKE_OPTIONS install
79 echo "ERROR on make install"