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
|
|
|
|
|
|
|
mkdir build
|
|
|
|
cd build
|
|
|
|
cmake -DCMAKE_OSX_DEPLOYMENT_TARGET=10.7 -DCMAKE_BUILD_TYPE=$BUILD_TYPE ..
|
2016-04-21 04:07:19 +00:00
|
|
|
if ! make VERBOSE=1; then
|
|
|
|
echo "Sigh, transient build failure. Retrying..."
|
|
|
|
if ! make VERBOSE=1; then
|
|
|
|
echo "Okay, this is probably an actual bug."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|