products/compil_scripts/doxygen.sh

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