products/compil_scripts/eigen.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "eigen" $VERSION
   5 echo "##########################################################################"
   6
   7
   8
   9 #cd $SOURCE_DIR
  10
  11 # Install dir
  12 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_INSTALL_PREFIX=$PRODUCT_INSTALL"
  13
  14 echo
  15 echo "*** cmake ${CMAKE_OPTIONS}"
  16 cmake ${CMAKE_OPTIONS} $SOURCE_DIR
  17 if [ $? -ne 0 ]
  18 then
  19     echo "ERROR on cmake"
  20     exit 1
  21 fi
  22
  23
  24 #echo
  25 #echo "*** make" $MAKE_OPTIONS
  26 #make $MAKE_OPTIONS
  27 #if [ $? -ne 0 ]
  28 #then
  29 #    echo "ERROR on make"
  30 #    exit 2
  31 #fi
  32
  33 echo
  34 echo "*** make install"
  35 make install
  36 if [ $? -ne 0 ]
  37 then
  38     echo "ERROR on make install"
  39     exit 3
  40 fi
  41
  42 echo
  43 echo "########## END"