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