Salome HOME
SALOME 6.5.0 preparation: Sphinx 1.0.7 -> 1.1.3
[tools/install.git] / 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-2012 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 PYTHONPATH=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}/lib/python\${PYTHON_VERSION}/site-packages:\${PYTHONPATH}
32 export PATH=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}/bin:\${PATH}
33 ##
34 EOF
35 (test -w ${PRODUCT_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh ${PRODUCT_DIR})
36 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
37 }
38
39 print_env_src()
40 {
41 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <<EOF
42 #$DELIM ${PRODUCT_TYPE}_src $DELIM
43 # nothing to do
44 ##
45 EOF
46 (test -w ${PRODUCT_SRC_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh ${PRODUCT_SRC_DIR})
47 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
48 }
49
50 try_preinstalled(){
51 try_existing ${PRODUCT_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
52 try_existing ${PRODUCT_SRC_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
53 return $?
54 }
55
56 install_source()
57 {
58 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
59 source ${INSTALL_WORK}/$SHRC
60
61 makedir ${PRODUCT_SRC_DIR}
62 # unpack
63 check_jb tar xfz ${SOURCE_DIR}/Sphinx-${SPHINX_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
64 check_jb tar xfz ${SOURCE_DIR}/setuptools-${SETUPTOOLS_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
65 check_jb tar xfz ${SOURCE_DIR}/Jinja2-${JINJA2_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
66 check_jb tar xfz ${SOURCE_DIR}/Pygments-${PYGMENTS_VERSION}.tar.gz -C ${PRODUCT_SRC_DIR}
67
68 # to generate environment scripts
69 try_preinstalled
70 }
71
72 install_source_and_build()
73 {
74 # install sources
75 install_source
76
77 # build sources
78 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
79
80 mkdir -p ${PRODUCT_DIR}/bin
81 mkdir -p ${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages
82
83 export PYTHONPATH=${PRODUCT_DIR}/lib/python${PYTHON_VERSION}/site-packages:${PYTHONPATH}
84 export PATH=${PRODUCT_DIR}/bin:${PATH}
85
86 export PYTHONDONTWRITEBYTECODE=
87
88 # install omniORB
89 GCC=`which gcc`
90 cat >> ${PRODUCT_DIR}/MAKE.LOG <<EOF
91 used gcc=$GCC
92 EOF
93 cd ${PRODUCT_SRC_DIR}/setuptools-${SETUPTOOLS_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
94 cd ${PRODUCT_SRC_DIR}/Pygments-${PYGMENTS_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
95 cd ${PRODUCT_SRC_DIR}/Jinja2-${JINJA2_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
96 cd ${PRODUCT_SRC_DIR}/Sphinx-${SPHINX_VERSION}_SRC ; check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
97
98 cd ${PRODUCT_DIR}/bin; 
99
100 scripts=`find . -type f`
101 for f in X $scripts ; do
102     if test "${f}" == "X" ; then continue ; fi
103     sed -i "s%#\!.*python%#\!/usr/bin/env python%" ${f}
104 done
105
106 cd ${PRODUCT_DIR}
107
108 # remove sources and temporary files after building
109 if [ ${REMOVE_SRC_TMP} == "TRUE" ] ; then
110     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
111 fi
112
113 # to generate environment scripts
114 try_preinstalled
115 }
116
117 install_binary()
118 {
119 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
120 source ${INSTALL_WORK}/$SHRC
121
122 # create a product directory
123 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
124
125 check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${PRODUCT_DIR}
126
127 # to generate environment script for sources
128 try_preinstalled
129 }
130
131 export PROCEDURE=$1;
132 export INSTALL_WORK=$2;
133 export SOURCE_DIR=$3;
134 export INST_ROOT=$4;
135 export PRODUCT_SEQUENCE=$5;
136 export PRODUCT_TYPE=$6;
137 export INSTALL_PRODUCTS=$7;
138 shift
139 REMOVE_SRC_TMP=$8;
140 test $# == 10 && shift && SINGLE_DIR=$9
141 export PRODUCT="Sphinx-${SPHINX_VERSION}"
142 export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
143 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}
144 export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT}_SRC
145 source ./common.sh
146 $PROCEDURE