products/compil_scripts/scotch-6.0.4.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "ptscotch" $VERSION
   5 echo "##########################################################################"
   6
   7 echo
   8 echo "*** mkdir" $PRODUCT_INSTALL
   9 mkdir -p $PRODUCT_INSTALL
  10 if [ $? -ne 0 ]
  11 then
  12     echo "ERROR on mkdir"
  13     exit 1
  14 fi
  15 cp -ar $SOURCE_DIR/* ${BUILD_DIR}/
  16 cd ${BUILD_DIR}/src
  17
  18 echo
  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
  22 else
  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
  24 fi
  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
  27
  28 echo
  29 echo "*** make" $MAKE_OPTIONS
  30 make $MAKE_OPTIONS
  31 if [ $? -ne 0 ]
  32 then
  33     echo "ERROR on make"
  34     exit 2
  35 fi
  36
  37 echo
  38 echo "*** Check if node is a virtual machine"
  39 ISVM=$(hostnamectl status|grep -i chassis:|grep vm)
  40 if [ ! -z "$ISVM" ]; then
  41     echo "*** oversubscribe..."
  42     sed -i 's/mpirun -n 4/mpirun -n 4 --oversubscribe/g' $BUILD_DIR/src/check/Makefile
  43 else
  44     echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
  45 fi
  46
  47 cd $BUILD_DIR/src
  48 if [ -n "$SAT_HPC" ]; then
  49     echo
  50     echo "*** make ptcheck"
  51     make ptcheck
  52     if [ $? -ne 0 ]
  53     then
  54         echo "ERROR on make check"
  55         exit 3
  56     fi
  57 fi
  58
  59 echo
  60 echo "*** Install"
  61 cd $BUILD_DIR
  62 for d in include lib bin; do
  63     cp -r $d $PRODUCT_INSTALL/$d
  64     if [ $? -ne 0 ]; then
  65         echo "FATAL: failed to deploy: $d"
  66         exit 3
  67     fi
  68 done
  69
  70 echo
  71 echo "########## END"