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 DO_CHECK=1
  38 LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
  39 case $LINUX_DISTRIBUTION in
  40     CO*|FD*)
  41         DO_CHECK=0
  42         ;;
  43 esac
  44
  45 if [ $DO_CHECK -eq 1 ]; then
  46     echo
  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
  52     else
  53         echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
  54     fi
  55
  56     cd $BUILD_DIR/src
  57     if [ -n "$SAT_HPC" ]; then
  58         echo
  59         echo "*** make ptcheck"
  60         make ptcheck
  61     else
  62         echo
  63         echo "*** make check"
  64         make check
  65     fi
  66     if [ $? -ne 0 ]
  67     then
  68         echo "ERROR on make check"
  69         exit 3
  70     fi
  71 fi
  72
  73 echo
  74 echo "*** Install"
  75 cd $BUILD_DIR
  76 for d in include lib bin; do
  77     cp -r $d $PRODUCT_INSTALL/$d
  78     if [ $? -ne 0 ]; then
  79         echo "FATAL: failed to deploy: $d"
  80         exit 3
  81     fi
  82 done
  83
  84 echo
  85 echo "########## END"