From 19ad29f49393af3aa95ec98f0d8543118e3824e8 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 8 Mar 2017 12:57:07 +0100
Subject: [PATCH] Travis: comment out OSX build.

This always takes forever to complete.
Since I develop on OSX anyway, it's not so urgent.
---
 .travis.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 8f3bdf536..3e8fd9a47 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -59,9 +59,9 @@ matrix:
     compiler: ": #stack nightly"
     addons: {apt: {packages: [libgmp-dev]}}
 
-  - env: BUILD=stack ARGS="--resolver lts-8"
-    compiler: ": #stack 8.0.2 osx"
-    os: osx
+  # - env: BUILD=stack ARGS="--resolver lts-8"
+  #   compiler: ": #stack 8.0.2 osx"
+  #   os: osx
 
   # - env: BUILD=stack ARGS="--resolver nightly"
   #   compiler: ": #stack nightly osx"