From 2370eba78fef25d603e3b3837a15e2cd7f78615b Mon Sep 17 00:00:00 2001
From: Christian Beer <christian.beer@aei.mpg.de>
Date: Fri, 17 Feb 2017 14:04:00 +0100
Subject: [PATCH] Build: try to build libraries with mingw on travis-ci

---
 .travis.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 141e3962eb..e50ef70d55 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -45,6 +45,15 @@ addons:
     - libsqlite3-dev
     - libgtk2.0-dev
     - libwebkitgtk-dev
+    - mingw-w64
+    - binutils-mingw-w64-i686
+    - binutils-mingw-w64-x86-64
+    - gcc-mingw-w64
+    - gcc-mingw-w64-i686
+    - gcc-mingw-w64-x86-64
+    - g++-mingw-w64
+    - g++-mingw-w64-i686
+    - g++-mingw-w64-x86-64
 
 env:
   global:
@@ -57,6 +66,7 @@ env:
     - BOINC_TYPE=client
     - BOINC_TYPE=apps
     - BOINC_TYPE=manager
+    - BOINC_TYPE=libs-mingw
     #- BOINC_TYPE=coverity
 
 matrix:
@@ -71,3 +81,4 @@ script:
 - if [[ "${BOINC_TYPE}" == "client" ]]; then ( ./configure --disable-server --disable-manager && make ) fi
 - if [[ "${BOINC_TYPE}" == "apps" ]]; then ( ./configure --enable-apps --disable-server --disable-client --disable-manager && make ) fi
 - if [[ "${BOINC_TYPE}" == "manager" ]]; then ( ./build/getWxWidgets.sh && ./configure --disable-server --disable-client --with-wxdir=./build/wxWidgets-3.0.2/buildgtk && make ) fi
+- if [[ "${BOINC_TYPE}" == "libs-mingw" ]]; then ( cd lib && CC=/usr/bin/x86_64-w64-mingw32-gcc; CXX=/usr/bin/x86_64-w64-mingw32-g++; make -f Makefile.mingw ) fi