equal
deleted
inserted
replaced
10 INSTALL_PREFIX=/tmp |
10 INSTALL_PREFIX=/tmp |
11 else |
11 else |
12 INSTALL_PREFIX="$2" |
12 INSTALL_PREFIX="$2" |
13 fi |
13 fi |
14 |
14 |
15 echo "BUILD_TYPE=${BUILD_TYPE}" |
15 echo "-- Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}" |
16 |
16 |
17 cmake ../ \ |
17 cmake ../ \ |
18 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
18 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
19 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
19 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
20 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" |
20 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" |