From 587e556a909fcd2e1507a9230d9cdaffa3f9394e Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 5 Sep 2017 13:11:29 +0200
Subject: Switch Travis to OSX 10.12 and Xcode 8.3.3.

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

diff --git a/.travis.yml b/.travis.yml
index 2d6d9a2a68..a8c6eb0465 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -136,6 +136,7 @@ matrix:
           packages: *coqide-packages
 
     - os: osx
+      osx_image: xcode8.3
       env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.02.3"
@@ -147,6 +148,7 @@ matrix:
       - brew install opam gnu-time
 
     - os: osx
+      osx_image: xcode8.3
       env:
       - TEST_TARGET=""
       - COMPILER="4.02.3"
-- 
cgit v1.2.3


From c7465d2ecb69e64613dd38b262f5e78ecad99de1 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 6 Sep 2017 08:42:01 +0200
Subject: Add debug output to brew update.

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index a8c6eb0465..b9ea455da6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -144,7 +144,7 @@ matrix:
       - NATIVE_COMP="no"
       - COQ_DEST="-local"
       before_install:
-      - brew update
+      - brew update --debug --verbose
       - brew install opam gnu-time
 
     - os: osx
@@ -158,7 +158,7 @@ matrix:
       - EXTRA_CONF="-coqide opt -warn-error"
       - EXTRA_OPAM="lablgtk-extras"
       before_install:
-      - brew update
+      - brew update --debug --verbose
       - brew install opam gnu-time gtk+ expat gtksourceview libxml2 gdk-pixbuf python3
       - pip3 install macpack
       before_deploy:
-- 
cgit v1.2.3