Salome HOME
Add missing dependency on Sphinx
[tools/install.git] / config_files / scotch.sh
1 #!/bin/bash -noprofile
2
3 ####################################################################################
4 #  File      : scotch.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 # scotch version
17 #
18 SCOTCH_VERSION=5.1.11
19
20 check_version(){
21 # No way to check version!
22 return 0
23 }
24
25 print_env_bin()
26 {
27 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <<EOF 
28 #$DELIM ${PRODUCT_TYPE} $DELIM 
29 export SCOTCHDIR=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
30 ##
31 EOF
32 (test -w ${PRODUCT_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh ${PRODUCT_DIR})
33 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
34 }
35
36 print_env_src()
37 {
38 cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <<EOF
39 #$DELIM ${PRODUCT_TYPE}_src $DELIM
40 # nothing to do
41 ##
42 EOF
43 (test -w ${PRODUCT_SRC_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh ${PRODUCT_SRC_DIR})
44 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}"
45 }
46
47 try_preinstalled(){
48 try_existing ${PRODUCT_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
49 try_existing ${PRODUCT_SRC_DIR} ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
50 return $?
51 }
52
53 install_source()
54 {
55 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src
56 source ${INSTALL_WORK}/$SHRC
57
58 check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${INST_ROOT}
59
60 # to generate environment scripts
61 try_preinstalled
62 }
63
64 install_source_and_build()
65 {
66 # install sources
67 install_source
68
69 # build sources
70 cd ${PRODUCT_SRC_DIR}
71 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
72
73 cd src
74
75 if test `uname -m` = "x86_64" ; then
76     # create Makefile for Linux 64bit platforms
77     sed -e "s%CFLAGS\([[:space:]]*\)=\([[:space:]]*\)\(.*\)%CFLAGS\1=\2-fPIC \3%g" \
78         Make.inc/Makefile.inc.i686_pc_linux2.prof > Make.inc/Makefile.inc.x86-64_pc_linux2.prof
79     ln -sf Make.inc/Makefile.inc.x86-64_pc_linux2.prof Makefile.inc
80 else
81     ln -sf Make.inc/Makefile.inc.i686_pc_linux2.prof Makefile.inc
82 fi
83
84 # make
85 check_job ${PRODUCT_DIR}/MAKE.LOG make prefix=${PRODUCT_DIR}
86
87 # make install
88 check_job ${PRODUCT_DIR}/INSTALL.LOG make prefix=${PRODUCT_DIR} install
89
90 cd ${PRODUCT_DIR};
91
92 # remove sources and temporary files after building
93 if [ ${REMOVE_SRC_TMP} == "TRUE" ] ; then
94     test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}
95 fi
96
97 # to generate environment scripts
98 try_preinstalled
99 }
100
101 install_binary()
102 {
103 make_env ${INST_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}
104 source ${INSTALL_WORK}/$SHRC
105
106 # create a product directory
107 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
108
109 check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${PRODUCT_DIR}
110
111 # to generate environment scripts
112 try_preinstalled
113 }
114
115 export PROCEDURE=$1;
116 export INSTALL_WORK=$2;
117 export SOURCE_DIR=$3;
118 export INST_ROOT=$4;
119 export PRODUCT_SEQUENCE=$5;
120 export PRODUCT_TYPE=$6;
121 export INSTALL_PRODUCTS=$7;
122 shift
123 REMOVE_SRC_TMP=$8;
124 test $# == 10 && shift && SINGLE_DIR=$9
125 export PRODUCT="scotch-${SCOTCH_VERSION}"
126 export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
127 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}
128 export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT}_SRC
129 source ./common.sh
130 $PROCEDURE