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 echo "*** make" $MAKE_OPTIONS
38 LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
39 case $LINUX_DISTRIBUTION in
45 if [ $DO_CHECK -eq 1 ]; then
47 echo "*** Check if node is a virtual machine"
48 ISVM=$(hostnamectl status|grep -i chassis:|grep vm)
49 if [ ! -z "$ISVM" ]; then
50 echo "*** oversubscribe..."
51 sed -i 's/mpirun -n 4/mpirun -n 4 --oversubscribe/g' $BUILD_DIR/src/check/Makefile
53 echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
57 if [ -n "$SAT_HPC" ]; then
59 echo "*** make ptcheck"
68 echo "ERROR on make check"
76 for d in include lib bin; do
77 cp -r $d $PRODUCT_INSTALL/$d
79 echo "FATAL: failed to deploy: $d"