equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
|
2 |
|
3 # ignore $0 |
|
4 shift |
2 |
5 |
3 # build mode defaults to Release |
6 # build mode defaults to Release |
4 if [ -z "$1" ]; then |
7 if [ -z "$1" ]; then |
5 BUILD_TYPE=Release |
8 BUILD_TYPE=Release |
6 else |
9 else |
7 BUILD_TYPE="$1" |
10 BUILD_TYPE="$0" |
|
11 shift |
8 fi |
12 fi |
9 |
13 |
10 # install prefix defaults to /tmp |
14 # install prefix defaults to /tmp |
11 if [ -z "$2" ]; then |
15 if [ -z "$2" ]; then |
12 INSTALL_PREFIX=/tmp |
16 INSTALL_PREFIX=/tmp |
13 else |
17 else |
14 INSTALL_PREFIX="$2" |
18 INSTALL_PREFIX="$0" |
|
19 shift |
15 fi |
20 fi |
|
21 |
|
22 # remaining arguments |
|
23 EXTRA_OPTS="$*" |
16 |
24 |
17 # detect doxygen from HUT /p/contrib |
25 # detect doxygen from HUT /p/contrib |
18 if [ -x /p/contrib/bin/doxygen ]; then |
26 if [ -x /p/contrib/bin/doxygen ]; then |
19 echo "Detected doxygen in /p/contrib/bin/" |
27 echo "Detected doxygen in /p/contrib/bin/" |
20 |
28 |
21 DOXYGEN_HOME=/p/contrib/bin |
29 DOXYGEN_HOME=/p/contrib/bin |
22 fi |
30 fi |
23 |
31 |
24 # output parameters |
32 # output parameters |
25 echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}" |
33 echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}" |
|
34 echo " EXTRA_OPTS=${EXTRA_OPTS}" |
26 |
35 |
27 # run cmake |
36 # run cmake |
28 cmake ../ \ |
37 cmake ../ \ |
29 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
38 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
30 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
39 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
31 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" \ |
40 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" \ |
32 -DDOXYGEN_HOME=${DOXYGEN_HOME} |
41 -DDOXYGEN_HOME=${DOXYGEN_HOME} \ |
|
42 ${EXTRA_OPTS} |
33 |
43 |