diff options
| author |  Jason Gross <jgross@mit.edu> | 2015-12-30 15:17:14 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2015-12-30 15:17:14 -0500 |
| commit | 7a9fe677efb63a25763cfb7217b49b88a21b33c1 (patch) | |
| tree | e71daaaab78bf7289f1eb2f18a24f0be2673980d | |
| parent | 3369fd85a189d1e2e0ee4e84e659f18850b8dfaa (diff) | |
Add tap for mlton on osx
| -rw-r--r-- | .travis.yml | 6 |
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 |