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