equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 |
2 |
|
3 if [ -z "$1" ]; then |
|
4 BUILD_TYPE=Release |
|
5 else |
|
6 BUILD_TYPE="$1" |
|
7 fi |
|
8 |
|
9 if [ -z "$2" ]; then |
|
10 INSTALL_PREFIX=/tmp |
|
11 else |
|
12 INSTALL_PREFIX="$2" |
|
13 fi |
|
14 |
|
15 echo "BUILD_TYPE=${BUILD_TYPE}" |
|
16 |
3 cmake ../ \ |
17 cmake ../ \ |
4 -DCMAKE_BUILD_TYPE=Debug \ |
18 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
5 -DCMAKE_INSTALL_PREFIX=~/opt \ |
19 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
6 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" |
20 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" |
7 |
21 |