forked from cuberite/cuberite
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cibuild.sh
executable file
·72 lines (61 loc) · 1.79 KB
/
cibuild.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
#!/usr/bin/env bash
set -e
export CUBERITE_BUILD_SERIES_NAME="CI $CC $CI_CUBERITE_BUILD_TYPE"
export CUBERITE_BUILD_ID=$CI_JOB_NUMBER
export CUBERITE_BUILD_DATETIME=`date`
# Use ccache if available
if [ `which ccache` ]; then
# Re-run compile on pre-processed sources on cache miss
# "It's slower actually, but clang builds fail without it."
export CCACHE_CPP2=true
# Tell CMake of ccache's existence
CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache"
echo "Using ccache installed at $(which ccache)"
ccache --max-size=1G
ccache --zero-stats
fi
workdir="$CC"_"$CI_CUBERITE_BUILD_TYPE"
mkdir "$workdir"
cd "$workdir"
# Work around a Clang + ccache issue with failing builds by disabling
# precompiled headers. Turn off LTO for faster build speeds
cmake .. -DCMAKE_BUILD_TYPE=${CI_CUBERITE_BUILD_TYPE} \
-DBUILD_TOOLS=Yes \
-DPRECOMPILE_HEADERS=No \
-DSELF_TEST=Yes \
-DUNITY_BUILDS=${CI_CUBERITE_UNITY_BUILDS-Yes} \
-DWHOLE_PROGRAM_OPTIMISATION=No \
${CACHE_ARGS};
echo "Building..."
cmake --build . --parallel 3;
if [ `which ccache` ]; then
echo "Built with ccache, outputting cache stats..."
ccache --show-stats
fi
echo "Testing..."
ctest --output-on-failure --parallel 2;
cd Server/;
touch apiCheckFailed.flag
if [ "$CI_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then
./Cuberite <<- EOF
load APIDump
api
apicheck
restart
stop
EOF
if [ -f ./NewlyUndocumented.lua ]; then
echo "ERROR: Newly undocumented API symbols found:"
cat ./NewlyUndocumented.lua
exit 1
fi
if [ -f ./DuplicateDocs.txt ]; then
echo "ERROR: API documentation has duplicate symbol warnings:"
cat ./DuplicateDocs.txt
exit 1
fi
if [ -f ./apiCheckFailed.flag ]; then
echo "ERROR: API check has failed with an unknown error"
exit 1
fi
fi