From 1f27cb14f96a88535db0d128772130b813c66cb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Mon, 8 Jan 2018 10:47:36 +0100
Subject: [PATCH] package/ci: verify also compilation of the documentation
 image generators.

Only on Travis, because only there I'm also checking a non-deprecated
build.
---
 package/ci/travis-desktop.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/package/ci/travis-desktop.sh b/package/ci/travis-desktop.sh
index f5fc94527..761535001 100755
--- a/package/ci/travis-desktop.sh
+++ b/package/ci/travis-desktop.sh
@@ -18,7 +18,8 @@ mkdir build && cd build
 # Not using CXXFLAGS in order to avoid affecting dependencies
 cmake .. \
     -DCMAKE_CXX_FLAGS="$CMAKE_CXX_FLAGS" \
-    -DCMAKE_PREFIX_PATH="$HOME/deps;$HOME/glfw" \
+    -DCMAKE_INSTALL_PREFIX=$HOME/deps \
+    -DCMAKE_PREFIX_PATH=$HOME/glfw \
     -DCMAKE_BUILD_TYPE=Debug \
     -DWITH_AUDIO=ON \
     -DWITH_GLFWAPPLICATION=ON \
@@ -44,3 +45,13 @@ cmake .. \
 # Otherwise the job gets killed (probably because using too much memory)
 make -j4
 ASAN_OPTIONS="color=always" LSAN_OPTIONS="color=always suppressions=$TRAVIS_BUILD_DIR/package/ci/leaksanitizer.conf" CORRADE_TEST_COLOR=ON ctest -V -E GLTest
+
+# Verify also compilation of the documentation image generators
+make install
+cd ..
+mkdir build-doc-generated && cd build-doc-generated
+cmake ../doc/generated \
+    -DCMAKE_CXX_FLAGS="$CMAKE_CXX_FLAGS" \
+    -DCMAKE_PREFIX_PATH=$HOME/deps \
+    -DCMAKE_BUILD_TYPE=Debug
+make -j4