[gimp/wip/Jehan/DrMingw-in-CI-build] build: add DrMingw in the Windows CI build.

[Jehan <jehanp src gnome org>]

commit 9ba712b2ac0281908e5f225f8a9a99073553bef1
Author: Jehan <jehan girinstud io>
Date:   Thu Oct 24 17:29:35 2019 +0200

    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..3de33b1ece 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