2014-05-10 20:03:36 +08:00
|
|
|
#!/usr/bin/env bash
|
2014-05-11 00:52:46 +08:00
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2015-08-26 16:58:51 +08:00
|
|
|
export CUBERITE_BUILD_SERIES_NAME="Travis $CC $TRAVIS_CUBERITE_BUILD_TYPE"
|
|
|
|
export CUBERITE_BUILD_ID=$TRAVIS_JOB_NUMBER
|
|
|
|
export CUBERITE_BUILD_DATETIME=`date`
|
2014-09-10 23:12:49 +08:00
|
|
|
|
2019-11-11 00:55:24 +08:00
|
|
|
# Use ccache if available
|
|
|
|
if [ `which ccache` ]; then
|
|
|
|
export CCACHE_CPP2=true
|
|
|
|
CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache"
|
|
|
|
echo "Using ccache installed at $(which ccache)"
|
2020-05-16 19:57:14 +08:00
|
|
|
ccache --max-size=3G
|
|
|
|
ccache -z # Zero statistics
|
2019-11-11 00:55:24 +08:00
|
|
|
fi
|
|
|
|
|
|
|
|
cmake . -DBUILD_TOOLS=1 -DSELF_TEST=1 ${CACHE_ARGS};
|
2015-05-12 15:21:43 +08:00
|
|
|
|
|
|
|
echo "Building..."
|
2020-05-16 19:57:14 +08:00
|
|
|
cmake --build . -j 2
|
|
|
|
|
|
|
|
if [ `which ccache` ]; then
|
|
|
|
echo "Built with ccache, outputting cache stats..."
|
|
|
|
ccache -s
|
|
|
|
fi
|
2015-09-27 16:24:50 +08:00
|
|
|
|
|
|
|
echo "Testing..."
|
2017-10-21 21:25:21 +08:00
|
|
|
|
2020-05-16 19:57:14 +08:00
|
|
|
ctest -j 2 -V;
|
|
|
|
|
2015-08-26 16:58:51 +08:00
|
|
|
cd Server/;
|
2016-10-26 00:49:42 +08:00
|
|
|
touch apiCheckFailed.flag
|
2015-08-26 16:58:51 +08:00
|
|
|
if [ "$TRAVIS_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then
|
2019-12-28 19:53:37 +08:00
|
|
|
./Cuberite <<- EOF
|
2017-12-23 02:25:46 +08:00
|
|
|
load APIDump
|
|
|
|
apicheck
|
|
|
|
restart
|
|
|
|
stop
|
|
|
|
EOF
|
2015-09-27 16:24:50 +08:00
|
|
|
if [ -f ./NewlyUndocumented.lua ]; then
|
|
|
|
echo "ERROR: Newly undocumented API symbols found:"
|
|
|
|
cat ./NewlyUndocumented.lua
|
|
|
|
exit 1
|
|
|
|
fi
|
2016-09-13 05:23:45 +08:00
|
|
|
if [ -f ./DuplicateDocs.txt ]; then
|
|
|
|
echo "ERROR: API documentation has duplicate symbol warnings:"
|
|
|
|
cat ./DuplicateDocs.txt
|
|
|
|
exit 1
|
|
|
|
fi
|
2016-10-26 00:49:42 +08:00
|
|
|
if [ -f ./apiCheckFailed.flag ]; then
|
|
|
|
echo "ERROR: API check has failed with an unknown error"
|
|
|
|
exit 1
|
|
|
|
fi
|
2014-05-17 20:04:40 +08:00
|
|
|
fi
|