From ce761ccc95c635812d1ffaba3d5021640a967ce6 Mon Sep 17 00:00:00 2001
From: Jehan <jehan@girinstud.io>
Date: Thu, 24 Oct 2019 17:29:35 +0200
Subject: [PATCH] build: add DrMingw in the Windows CI build.

If the build results are used for testing, may be useful to have some
debugging, as proposed by Ell.
---
 build/windows/crossbuild-gitlab-ci.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build/windows/crossbuild-gitlab-ci.sh b/build/windows/crossbuild-gitlab-ci.sh
index c7ffdfb746..4958eabfcb 100644
--- a/build/windows/crossbuild-gitlab-ci.sh
+++ b/build/windows/crossbuild-gitlab-ci.sh
@@ -77,6 +77,13 @@ ninja -C _build install || exit 1
 crossroad mask pango
 cd ..
 
+# DrMingw
+
+git clone --depth 1 https://github.com/jrfonseca/drmingw.git && \
+mkdir drmingw/_build && cd drmingw/_build && \
+crossroad cmake .. -DPYTHON_EXECUTABLE=`which python3` && make install || exit 1
+cd ../..
+
 # preparing GIMP
 
 crossroad install atk gtk3 libtiff xz-libs librsvg2 poppler-glib dbus-glib