products/compil_scripts/eigen-3.2.7.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "EIGEN" $VERSION
   5 echo "##########################################################################"
   6
   7
   8
   9 cd $SOURCE_DIR
  10
  11 echo
  12 echo "*** mkdir" $PRODUCT_INSTALL
  13 mkdir -p $PRODUCT_INSTALL
  14 if [ $? -ne 0 ]
  15 then
  16     echo "ERROR on mkdir"
  17     exit 1
  18 fi
  19
  20 echo
  21 echo "*** cp -r * " $PRODUCT_INSTALL
  22 cp -r * $PRODUCT_INSTALL
  23 if [ $? -ne 0 ]
  24 then
  25     echo "ERROR on cp"
  26     exit 2
  27 fi
  28
  29 echo
  30 echo "########## END"