diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-01-02 07:45:38 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-01-02 07:45:38 -0500 |
commit | 36be1e34ee331c59847200e01bde8f860ed7e510 (patch) | |
tree | 91e1364d9646e0a02bce492a549a28127e1bcb26 | |
parent | c748c02510ce84b457c2c7d288a67b686642bd0d (diff) | |
parent | 4985395c44b8aecfe54417a383762825292ac5d5 (diff) |
Merge pull request #11 from JasonGross/update-mlton-tap
Update the homebrew tap for mlton
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index ead1ad85..d0870280 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,7 +20,7 @@ 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 tap urweb/homebrew-ur; fi - if command -v brew &>/dev/null; then brew install openssl mlton; fi - if command -v brew &>/dev/null; then export CONFIGURE_ARGS="--with-openssl=/usr/local/opt/openssl"; fi |