2017-01-21 19:49:44 +01:00
|
|
|
#!/bin/sh -ex
|
2016-05-15 09:41:53 +02:00
|
|
|
|
2019-03-01 09:15:41 +01:00
|
|
|
export CC="$_CC"
|
|
|
|
|
export CXX="$_CXX"
|
2017-01-21 19:49:44 +01:00
|
|
|
|
|
|
|
|
if [ -n "$SANITIZE" ]; then
|
|
|
|
|
export CXXFLAGS="-fsanitize=$SANITIZE"
|
2019-02-27 17:41:40 +01:00
|
|
|
BUILD_TYPE="Debug"
|
|
|
|
|
else
|
|
|
|
|
BUILD_TYPE="Release"
|
2017-01-21 19:49:44 +01:00
|
|
|
fi
|
|
|
|
|
|
2019-02-28 17:26:29 +01:00
|
|
|
cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE .
|
|
|
|
|
cmake --build .
|
