ci: Check for DDXen to be built

Add a script in CI to check for the mere presence of the expected DDXen
to be built.

Signed-off-by: Olivier Fourdan <ofourdan@redhat.com>
Part-of: <https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/1743>

.gitlab-ci.yml

@@ -169,6 +169,7 @@ meson:
         - .gitlab-ci/meson-build.sh --run-test
         - .gitlab-ci/check-piglit-results.sh
         - .gitlab-ci/manpages-check
+        - .gitlab-ci/check-ddx-build.sh
     variables:
       XTEST_DIR: /root/xts
       PIGLIT_DIR: /root/piglit

.gitlab-ci/check-ddx-build.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -e
+set -o xtrace
+
+check_executable () {
+    if [[ ! -x $MESON_BUILDDIR/$1 ]]; then
+        echo "$1 not found after build"
+        exit 1
+    fi
+    return 0
+}
+
+if [[ -z "$MESON_BUILDDIR" ]]; then
+    echo "\$MESON_BUILDDIR not set"
+    exit 1
+fi
+
+[[ "$BUILD_XEPHYR" == true ]]   && check_executable "hw/kdrive/ephyr/Xephyr"
+[[ "$BUILD_XNEST" == true ]]    && check_executable "hw/xnest/Xnest"
+[[ "$BUILD_XORG" == true ]]     && check_executable "hw/xfree86/Xorg"
+[[ "$BUILD_XVFB" == true ]]     && check_executable "hw/vfb/Xvfb"
+[[ "$BUILD_XWAYLAND" == true ]] && check_executable "hw/xwayland/Xwayland"
+
+exit 0