summaryrefslogtreecommitdiff
path: root/.gitlab-ci
diff options
context:
space:
mode:
authorSimon Ser <contact@emersion.fr>2022-01-19 10:57:59 +0100
committerSimon Ser <contact@emersion.fr>2022-02-23 07:40:03 +0000
commit7e2d9e381e32c99a1d9f054ab460398c9141f8e5 (patch)
tree0472b0979e62da3f971cad4b2ca7fde29b6f75a8 /.gitlab-ci
parent4cc189f2a05b94255c61584f1d0c38ca385c5cd3 (diff)
downloadwayland-protocols-7e2d9e381e32c99a1d9f054ab460398c9141f8e5.tar.gz
ci: upgrade wayland to 1.20.0
This will be useful to use features introduced in wayland 1.20, e.g. event destructors. Signed-off-by: Simon Ser <contact@emersion.fr>
Diffstat (limited to '.gitlab-ci')
-rwxr-xr-x.gitlab-ci/debian-install.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci/debian-install.sh b/.gitlab-ci/debian-install.sh
new file mode 100755
index 0000000..256d665
--- /dev/null
+++ b/.gitlab-ci/debian-install.sh
@@ -0,0 +1,14 @@
+#!/bin/sh -eux
+
+# Note: don't forget to bump FDO_DISTRIBUTION_TAG when editing this file!
+
+git clone --branch 1.20.0 --depth=1 https://gitlab.freedesktop.org/wayland/wayland
+cd wayland/
+git show -s HEAD
+meson build/ -Dtests=false -Ddocumentation=false
+ninja -j${FDO_CI_CONCURRENT:-4} -C build/ install
+cd ..
+rm -rf wayland/
+
+echo "/usr/local/lib" >/etc/ld.so.conf.d/local.conf
+ldconfig