Salome HOME
Merge master branch to integrate new petsc 3.15 use
[tools/sat_salome.git] / products / compil_scripts / petsc-3.15.0.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.tar.gz"
13 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-slepc=ext/slepc-3.15.0.tar.gz"
14 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --with-hdf5-dir=${HDF5_ROOT_DIR}"
15 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-metis=ext/metis-5.1.0-p10.tar.gz"
16 CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --with-debugging=0" # by default Petsc is build in debug mode
17 echo
18 if [ -n "${MPI_ROOT_DIR}" ]
19 then
20   echo "*** configure with mpi"
21   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-hypre=ext/hypre-2.20.0.tar.gz"
22   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-parms=ext/parms-3.2-p5.tar.gz"
23   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-parmetis=ext/parmetis-4.0.3-p6.tar.gz"
24   CONFIGURE_FLAGS=$CONFIGURE_FLAGS" --download-ptscotch=ext/scotch_6.1.0.tar.gz"
25   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi-dir=${MPI_ROOT_DIR} ${CONFIGURE_FLAGS}
26 else
27   echo "*** configure without mpi"
28   ./configure --prefix=${PRODUCT_INSTALL} --with-mpi=0 ${CONFIGURE_FLAGS}
29 fi
30
31 if [ $? -ne 0 ]
32 then
33     echo "ERROR on configure"
34     exit 1
35 fi
36
37 MAKE_OPTIONS="PETSC_DIR=${BUILD_DIR}"
38
39 echo
40 echo "*** make" $MAKE_OPTIONS
41 make $MAKE_OPTIONS
42 if [ $? -ne 0 ]
43 then
44     echo "ERROR on make"
45     exit 2
46 fi
47
48 # CentOS 6 automatically set PETSC_ARCH to arch-linux2-c-debug : remove arch specification
49 # MAKE_OPTIONS=$MAKE_OPTIONS" PETSC_ARCH=arch-linux-c-debug"
50
51 echo
52 echo "*** make install"
53 make $MAKE_OPTIONS install
54 if [ $? -ne 0 ]
55 then
56     echo "ERROR on make install"
57     exit 3
58 fi
59
60 echo
61 echo "########## END"
62