summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2015-12-30 15:17:14 -0500
committerGravatar Jason Gross <jgross@mit.edu>2015-12-30 15:17:14 -0500
commit7a9fe677efb63a25763cfb7217b49b88a21b33c1 (patch)
treee71daaaab78bf7289f1eb2f18a24f0be2673980d
parent3369fd85a189d1e2e0ee4e84e659f18850b8dfaa (diff)
Add tap for mlton on osx
-rw-r--r--.travis.yml6
1 files changed, 1 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml
index 978e6b48..5bc39034 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,15 +15,11 @@ compiler:
# packages:
# - mlton
-# brew install mlton doesn't seem to work (https://github.com/travis-ci/travis-ci/issues/5379)
-matrix:
- allow_failures:
- - os: osx
-
before_install:
- if command -v apt-get &>/dev/null; then sudo apt-get update -qq; fi
- if command -v apt-get &>/dev/null; then sudo apt-get install -y mlton; fi
- if command -v brew &>/dev/null; then brew update; fi
+ - if command -v brew &>/dev/null; then brew tap homebrew/boneyard; fi
- if command -v brew &>/dev/null; then brew install mlton; fi
script: ./autogen.sh && ./configure && make && make test