summaryrefslogtreecommitdiff
path: root/tools/ci/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/jobs')
-rwxr-xr-xtools/ci/jobs/deheader.sh17
-rwxr-xr-xtools/ci/jobs/deheader2.sh29
-rwxr-xr-xtools/ci/jobs/deheader_sdl2.sh17
3 files changed, 63 insertions, 0 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh
new file mode 100755
index 000000000..834d8b8b5
--- /dev/null
+++ b/tools/ci/jobs/deheader.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+export LOGFILE2=deheader2.log
+
+source ./tools/ci/scripts/init.sh
+
+aptget_install python wget \
+ gcc-5 g++-5 \
+ libphysfs-dev \
+ libxml2-dev libcurl4-gnutls-dev libpng-dev \
+ libsdl-gfx1.2-dev libsdl-image1.2-dev libsdl-mixer1.2-dev libsdl-net1.2-dev libsdl-ttf2.0-dev
+
+export dir=$(pwd)
+
+rm deheader
+wget "https://gitlab.com/4144/deheader/raw/master/deheader"
+chmod +x deheader
diff --git a/tools/ci/jobs/deheader2.sh b/tools/ci/jobs/deheader2.sh
new file mode 100755
index 000000000..94cf60cbe
--- /dev/null
+++ b/tools/ci/jobs/deheader2.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+export LOGFILE2=deheader2.log
+
+export DATA=$(cat ${LOGFILE})
+if [[ -z "${DATA}" ]]; then
+ echo "Empty output. Probably wrong search flags."
+ exit 1
+fi
+
+export DATA=$(grep "error:" ${LOGFILE})
+if [[ -n "${DATA}" ]]; then
+ echo "Compilation error found"
+ exit 1
+fi
+
+grep "deheader:" ${LOGFILE} \
+| grep -v "deheader: remove <climits> from ./src/being/localplayer.cpp" \
+| grep -v "deheader: remove <fstream> from ./src/utils/files.cpp" \
+| grep -v "deheader: remove <climits> from ./src/resources/map/map.cpp" \
+| grep -v "deheader: remove <sys/time.h> from ./src/resources/wallpaper.cpp" \
+| grep -v "deheader: remove <climits> from ./src/units.cpp" > ${LOGFILE2}
+
+export DATA=$(cat ${LOGFILE2})
+if [[ -n "${DATA}" ]]; then
+ echo "Wrong include files found"
+ echo ${DATA}
+ exit 1
+fi
diff --git a/tools/ci/jobs/deheader_sdl2.sh b/tools/ci/jobs/deheader_sdl2.sh
new file mode 100755
index 000000000..2c7920956
--- /dev/null
+++ b/tools/ci/jobs/deheader_sdl2.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+export LOGFILE2=deheader2.log
+
+source ./tools/ci/scripts/init.sh
+
+aptget_install python wget \
+ gcc-5 g++-5 \
+ libphysfs-dev \
+ libxml2-dev libcurl4-gnutls-dev libpng-dev \
+ libsdl2-gfx-dev libsdl2-image-dev libsdl2-mixer-dev libsdl2-net-dev libsdl2-ttf-dev
+
+export dir=$(pwd)
+
+rm deheader
+wget "https://gitlab.com/4144/deheader/raw/master/deheader"
+chmod +x deheader