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-2013 CEA
  10 #
  11 #  This script is the part of the SALOME installation procedure.
  12 #
  13 ####################################################################################
  14
  15 #
  16 # Sphinx version
  17 #
  18 SPHINX_VERSION=1.1.3
  19 SETUPTOOLS_VERSION=0.6c11
  20 JINJA2_VERSION=2.6
  21 PYGMENTS_VERSION=1.5
  22
  23 check_version(){
  24 # It is not necessary to check version!
  25 return 0
  26 }
  27
  28 print_env_bin(){
  29 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <<EOF
  30 #$DELIM ${PRODUCT_TYPE} $DELIM
  31 export SPHINX_ROOT=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
  32 export SPHINX_ROOT_DIR=\${SPHINX_ROOT}
  33 export PYTHONPATH=\${SPHINX_ROOT}/lib/python\${PYTHON_VERSION}/site-packages:\${PYTHONPATH}
  34 export PATH=\${SPHINX_ROOT}/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-${SPHINX_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
  66 check_jb tar xfz ${SOURCE_DIR}/setuptools-${SETUPTOOLS_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
  67 check_jb tar xfz ${SOURCE_DIR}/Jinja2-${JINJA2_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
  68 check_jb tar xfz ${SOURCE_DIR}/Pygments-${PYGMENTS_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
  69
  70 # to generate environment scripts
  71 try_preinstalled
  72 }
  73
  74 install_source_and_build()
  75 {
  76 # install sources
  77 install_source
  78
  79 # build sources
  80 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
  81
  82 mkdir -p ${PRODUCT_DIR}/bin
  83 mkdir -p ${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages
  84
  85 export PYTHONPATH=${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages:${PYTHONPATH}
  86 export PATH=${PRODUCT_DIR}/bin:${PATH}
  87
  88 export PYTHONDONTWRITEBYTECODE=
  89
  90 GCC=`which gcc`
  91 cat >> ${PRODUCT_DIR}/MAKE.LOG <<EOF
  92 used gcc=$GCC
  93 EOF
  94 # install setuptools
  95 cd ${PRODUCT_SRC_DIR}/setuptools-${SETUPTOOLS_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
  96 # install Pygments
  97 cd ${PRODUCT_SRC_DIR}/Pygments-${PYGMENTS_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
  98 # install Jinja2
  99 cd ${PRODUCT_SRC_DIR}/Jinja2-${JINJA2_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
 100 # install Sphinx
 101 cd ${PRODUCT_SRC_DIR}/Sphinx-${SPHINX_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
 102
 103 cd ${PRODUCT_DIR}/bin;
 104
 105 scripts=`find . -type f`
 106 for f in X ${scripts} ; do
 107     if test "${f}" == "X" ; then continue ; fi
 108     sed -i "s%#\!.*python%#\!/usr/bin/env python%" ${f}
 109 done
 110
 111 cd ${PRODUCT_DIR}
 112
 113 # remove sources and temporary files after building
 114 if [ ${REMOVE_SRC_TMP} == "TRUE" ] ; then
 115     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
 116 fi
 117
 118 # to generate environment scripts
 119 try_preinstalled
 120 }
 121
 122 install_binary()
 123 {
 124 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
 125 source ${INSTALL_WORK}/$SHRC
 126
 127 # create a product directory
 128 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
 129
 130 check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${PRODUCT_DIR}
 131
 132 # to generate environment script for sources
 133 try_preinstalled
 134 }
 135
 136 export PROCEDURE=$1;
 137 export INSTALL_WORK=$2;
 138 export SOURCE_DIR=$3;
 139 export INST_ROOT=$4;
 140 export PRODUCT_SEQUENCE=$5;
 141 export PRODUCT_TYPE=$6;
 142 export INSTALL_PRODUCTS=$7;
 143 shift
 144 REMOVE_SRC_TMP=$8;
 145 test $# == 10 && shift && SINGLE_DIR=$9
 146 export PRODUCT="Sphinx-${SPHINX_VERSION}"
 147 export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
 148 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}
 149 export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT}_SRC
 150 source ./common.sh
 151 $PROCEDURE