config_files/Sphinx.sh

   1 #!/bin/bash -noprofile
   2
   3 ####################################################################################
   4 #  File      : Sphinx.sh
   5 #  Created   : Thu Dec 18 12:01:00 2002
   6 #  Author    : Vadim SANDLER, Open CASCADE SAS (vadim.sandler@opencascade.com)
   7 #  Project   : SALOME
   8 #  Module    : Installation Wizard
   9 #  Copyright : 2002-2014 CEA
  10 #
  11 #  This script is the part of the SALOME installation procedure.
  12 #
  13 ####################################################################################
  14
  15 #
  16 # Sphinx and prereqs versions
  17 #
  18 VERSION_SPHINX=1.1.3
  19 VERSION_DOCUTILS=0.10
  20 VERSION_SETUPTOOLS=0.6c11
  21 VERSION_JINJA2=2.6
  22 VERSION_PYGMENTS=1.5
  23
  24 check_version(){
  25 # It is not necessary to check version!
  26 return 0
  27 }
  28
  29 print_env_bin(){
  30 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <<EOF
  31 #${DELIM} ${PRODUCT_TYPE} ${DELIM}
  32 export SPHINX_ROOT_DIR=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
  33 export PYTHONPATH=\${SPHINX_ROOT_DIR}/lib/python\${PYTHON_VERSION}/site-packages:\${PYTHONPATH}
  34 export PATH=\${SPHINX_ROOT_DIR}/bin:\${PATH}
  35 ##
  36 EOF
  37 (test -w ${PRODUCT_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh ${PRODUCT_DIR})
  38 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
  39 }
  40
  41 print_env_src()
  42 {
  43 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <<EOF
  44 #${DELIM} ${PRODUCT_TYPE}_src ${DELIM}
  45 # nothing to do
  46 ##
  47 EOF
  48 (test -w ${PRODUCT_SRC_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh ${PRODUCT_SRC_DIR})
  49 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
  50 }
  51
  52 try_preinstalled(){
  53 try_existing ${PRODUCT_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
  54 try_existing ${PRODUCT_SRC_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
  55 return $?
  56 }
  57
  58 install_source()
  59 {
  60 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
  61 source ${INSTALL_WORK}/${SHRC}
  62
  63 makedir ${PRODUCT_SRC_DIR}
  64 # unpack
  65 check_jb tar xfz ${SOURCE_DIR}/Sphinx-${VERSION_SPHINX}.tar.gz -C ${PRODUCT_SRC_DIR}
  66 check_jb tar xfz ${SOURCE_DIR}/docutils-${VERSION_DOCUTILS}.tar.gz -C ${PRODUCT_SRC_DIR}
  67 check_jb tar xfz ${SOURCE_DIR}/setuptools-${VERSION_SETUPTOOLS}.tar.gz -C ${PRODUCT_SRC_DIR}
  68 check_jb tar xfz ${SOURCE_DIR}/Jinja2-${VERSION_JINJA2}.tar.gz -C ${PRODUCT_SRC_DIR}
  69 check_jb tar xfz ${SOURCE_DIR}/Pygments-${VERSION_PYGMENTS}.tar.gz -C ${PRODUCT_SRC_DIR}
  70
  71 # to generate environment scripts
  72 try_preinstalled
  73 }
  74
  75 install_source_and_build()
  76 {
  77 # install sources
  78 install_source
  79
  80 # build sources
  81 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
  82
  83 mkdir -p ${PRODUCT_DIR}/bin
  84 mkdir -p ${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages
  85
  86 export PYTHONPATH=${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages:${PYTHONPATH}
  87 export PATH=${PRODUCT_DIR}/bin:${PATH}
  88
  89 export PYTHONDONTWRITEBYTECODE=
  90
  91 # - install docutils
  92
  93 cd ${PRODUCT_SRC_DIR}/docutils-${VERSION_DOCUTILS}_SRC
  94 local DOCUTILS_SETUP_OPTIONS="--prefix=${PRODUCT_DIR}"
  95 cat > ${PRODUCT_DIR}/INSTALL_DOCUTILS.LOG <<EOF
  96 -------------------
  97 Used options: ${DOCUTILS_SETUP_OPTIONS}
  98 -------------------
  99 EOF
 100 check_job ${PRODUCT_DIR}/INSTALL_DOCUTILS.LOG python ./setup.py install ${DOCUTILS_SETUP_OPTIONS}
 101 cd ${PRODUCT_DIR}/bin
 102 for f in X `find . -name "*.py" -exec basename {} ";" | awk -F. '{print $1}'` ; do
 103     case ${f} in
 104         X ) ;;
 105         * ) sed -i "s%#\!.*python%#\!/usr/bin/env python%" ${f}.py ; ln -sf ${f}.py ${f} ;;
 106     esac
 107 done
 108
 109 # - install setuptools
 110
 111 cd ${PRODUCT_SRC_DIR}/setuptools-${VERSION_SETUPTOOLS}_SRC
 112 local SETUPTOOLS_SETUP_OPTIONS="--prefix=${PRODUCT_DIR}"
 113 cat > ${PRODUCT_DIR}/INSTALL_SETUPTOOLS.LOG <<EOF
 114 -------------------
 115 Used options: ${SETUPTOOLS_SETUP_OPTIONS}
 116 -------------------
 117 EOF
 118 check_job ${PRODUCT_DIR}/INSTALL_SETUPTOOLS.LOG python ./setup.py install ${SETUPTOOLS_SETUP_OPTIONS}
 119
 120 # - install Pygments
 121
 122 cd ${PRODUCT_SRC_DIR}/Pygments-${VERSION_PYGMENTS}_SRC
 123 local PYGMENTS_SETUP_OPTIONS="--prefix=${PRODUCT_DIR}"
 124 cat > ${PRODUCT_DIR}/INSTALL_PYGMENTS.LOG <<EOF
 125 -------------------
 126 Used options: ${PYGMENTS_SETUP_OPTIONS}
 127 -------------------
 128 EOF
 129 check_job ${PRODUCT_DIR}/INSTALL_PYGMENTS.LOG python ./setup.py install ${PYGMENTS_SETUP_OPTIONS}
 130
 131 # - install Jinja2
 132
 133 cd ${PRODUCT_SRC_DIR}/Jinja2-${VERSION_JINJA2}_SRC
 134 local JINJA2_SETUP_OPTIONS="--prefix=${PRODUCT_DIR}"
 135 cat > ${PRODUCT_DIR}/INSTALL_JINJA2.LOG <<EOF
 136 -------------------
 137 Used options: ${JINJA2_SETUP_OPTIONS}
 138 -------------------
 139 EOF
 140 check_job ${PRODUCT_DIR}/INSTALL_JINJA2.LOG python ./setup.py install ${JINJA2_SETUP_OPTIONS}
 141
 142 # install Sphinx
 143 cd ${PRODUCT_SRC_DIR}/Sphinx-${VERSION_SPHINX}_SRC
 144 local SPHINX_SETUP_OPTIONS="--prefix=${PRODUCT_DIR}"
 145 cat > ${PRODUCT_DIR}/INSTALL_SPHINX.LOG <<EOF
 146 -------------------
 147 Used options: ${SPHINX_SETUP_OPTIONS}
 148 -------------------
 149 EOF
 150 check_job ${PRODUCT_DIR}/INSTALL_SPHINX.LOG python ./setup.py install ${SPHINX_SETUP_OPTIONS}
 151
 152 # fix Python exec path
 153 cd ${PRODUCT_DIR}/bin
 154 for f in X `find . -type f` ; do
 155     case ${f} in
 156         X ) ;;
 157         * ) sed -i "s%#\!.*python%#\!/usr/bin/env python%" ${f} ;;
 158     esac
 159 done
 160
 161 cd ${PRODUCT_DIR}
 162
 163 # remove sources and temporary files after building
 164 if [ ${REMOVE_SRC_TMP} = "TRUE" ] ; then
 165     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
 166 fi
 167
 168 # to generate environment scripts
 169 try_preinstalled
 170 }
 171
 172 install_binary()
 173 {
 174 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
 175 source ${INSTALL_WORK}/${SHRC}
 176
 177 # create a product directory
 178 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
 179
 180 check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${PRODUCT_DIR}
 181
 182 # to generate environment script for sources
 183 try_preinstalled
 184 }
 185
 186 export PROCEDURE=$1;
 187 export INSTALL_WORK=$2;
 188 export SOURCE_DIR=$3;
 189 export INST_ROOT=$4;
 190 export PRODUCT_SEQUENCE=$5;
 191 export PRODUCT_TYPE=$6;
 192 export INSTALL_PRODUCTS=$7;
 193 shift
 194 REMOVE_SRC_TMP=$8;
 195 test $# = 10 && shift && SINGLE_DIR=$9
 196 export PRODUCT="Sphinx-${VERSION_SPHINX}"
 197 export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
 198 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}
 199 export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT}_SRC
 200 source ./common.sh
 201 ${PROCEDURE}