3 echo "##########################################################################"
4 echo "ptscotch" $VERSION
5 echo "##########################################################################"
8 echo "*** mkdir" $PRODUCT_INSTALL
9 mkdir -p $PRODUCT_INSTALL
15 cp -ar $SOURCE_DIR/* ${BUILD_DIR}/
19 echo "*** create Makefile"
20 if [ -n "$SAT_HPC" ]; then
21 sed -e "s%CFLAGS\([[:space:]]*\)=\([[:space:]]*\)\(.*\)%CFLAGS\1=\2-fPIC -DPIC -DINTSIZE64 -DSCOTCH_PTHREAD -I${MPI_INCLUDE_DIR} \3%g" Make.inc/Makefile.inc.x86-64_pc_linux2 > Makefile.inc
23 sed -e "s%CFLAGS\([[:space:]]*\)=\([[:space:]]*\)\(.*\)%CFLAGS\1=\2-fPIC -DPIC -DINTSIZE64 -DSCOTCH_PTHREAD \3%g" Make.inc/Makefile.inc.x86-64_pc_linux2 > Makefile.inc
25 sed -e "s%LDFLAGS\([[:space:]]*\)=\([[:space:]]*\)\(.*\)%LDFLAGS\1=\2 \3 -lpthread%g" Makefile.inc > Makefile.in_new
26 mv Makefile.in_new Makefile.inc
29 if [ -n "$SAT_HPC" ]; then
30 SCOTCH_TARGET=ptscotch
35 echo "*** make" $MAKE_OPTIONS $SCOTCH_TARGET
36 make $MAKE_OPTIONS $SCOTCH_TARGET
44 LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
45 case $LINUX_DISTRIBUTION in
51 if [ $DO_CHECK -eq 1 ]; then
53 echo "*** Check if node is a virtual machine"
54 ISVM=$(hostnamectl status|grep -i chassis:|grep vm)
55 if [ ! -z "$ISVM" ]; then
56 echo "*** oversubscribe..."
57 sed -i 's/mpirun -n 4/mpirun -n 4 --oversubscribe/g' $BUILD_DIR/src/check/Makefile
59 echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
63 if [ -n "$SAT_HPC" ]; then
65 echo "*** make ptcheck"
74 echo "ERROR on make check"
82 for d in include lib bin; do
83 cp -r $d $PRODUCT_INSTALL/$d
85 echo "FATAL: failed to deploy: $d"