2016-04-19 20:19:00 +08:00
|
|
|
#!/bin/sh -xe
|
|
|
|
|
2016-05-17 22:53:36 +08:00
|
|
|
if echo $TRAVIS_TAG | grep ^v; then BUILD_TYPE=RelWithDebInfo; else BUILD_TYPE=Debug; fi
|
2016-04-19 20:19:00 +08:00
|
|
|
|
2016-07-26 03:37:48 +08:00
|
|
|
mkdir build
|
|
|
|
cd build
|
2018-07-11 11:19:08 +08:00
|
|
|
cmake .. \
|
2016-08-01 13:19:21 +08:00
|
|
|
-DCMAKE_BUILD_TYPE=$BUILD_TYPE \
|
|
|
|
-DENABLE_SANITIZERS=ON
|
2020-10-20 15:39:26 +08:00
|
|
|
make -j$(nproc) VERBOSE=1
|
2017-02-06 22:49:13 +08:00
|
|
|
make test_solvespace
|