Salome HOME
Add the shell command
[tools/sat.git] / data / compil_scripts / doxygen.sh
1 #!/bin/bash
2
3 echo "##########################################################################"
4 echo "doxygen" $VERSION
5 echo "##########################################################################"
6
7 rm -Rf $PRODUCT_INSTALL
8
9 cp -r $SOURCE_DIR/* .
10
11 echo "doxygen compilation"
12
13 echo
14 echo "*** configure"
15 ./configure --prefix $PRODUCT_INSTALL
16 if [ $? -ne 0 ]
17 then
18     echo "ERROR on configure"
19     exit 1
20 fi
21
22 echo
23 echo "*** make" $MAKE_OPTIONS
24 make $MAKE_OPTIONS
25 if [ $? -ne 0 ]
26 then
27     echo "ERROR on make"
28     exit 2
29 fi
30
31 echo
32 echo "*** make install"
33 make install
34 if [ $? -ne 0 ]
35 then
36     echo "ERROR on make install"
37     exit 3
38 fi
39
40 echo
41 echo "########## END"
42