products/compil_scripts/sphinx_rtd_theme.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "sphinx_rtd_theme" $VERSION
   5 echo "##########################################################################"
   6
   7
   8
   9 cd $SOURCE_DIR
  10
  11 echo
  12 echo "*** setup.py BUILD"
  13 python setup.py build
  14 if [ $? -ne 0 ]
  15 then
  16     echo "ERROR on build"
  17     exit 2
  18 fi
  19
  20 dir_lib=$PRODUCT_INSTALL'/lib/python'$PYTHON_VERSION'/site-packages'
  21
  22 # HACK
  23 PYTHONPATH=$PYTHONPATH:$dir_lib
  24
  25 mkdir -p $PRODUCT_INSTALL
  26 mkdir -p $dir_lib
  27
  28 echo
  29 echo "*** install"
  30 python setup.py install --prefix=$PRODUCT_INSTALL
  31 if [ $? -ne 0 ]
  32 then
  33     echo "ERROR on install"
  34     exit 3
  35 fi
  36
  37 echo
  38 echo "########## END"