3 echo "##########################################################################"
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 \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
46 # LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
47 # case $LINUX_DISTRIBUTION in
53 if [ $DO_CHECK -eq 1 ]; then
55 echo "*** Check if node is a virtual machine"
56 ISVM=$(hostnamectl status|grep -i chassis:|grep vm)
57 if [ ! -z "$ISVM" ]; then
58 echo "*** oversubscribe..."
59 sed -i 's/mpirun -n 4/mpirun -n 4 --oversubscribe/g' $BUILD_DIR/src/check/Makefile
61 echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
65 if [ -n "$SAT_HPC" ]; then
67 echo "*** make ptcheck"
76 echo "ERROR on make check"
84 for d in include lib bin; do
85 cp -r $d $PRODUCT_INSTALL/$d
87 echo "FATAL: failed to deploy: $d"