diff options
author | Jason Gross <jgross@mit.edu> | 2016-01-01 22:04:28 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-01-01 22:04:28 -0500 |
commit | 4985395c44b8aecfe54417a383762825292ac5d5 (patch) | |
tree | 927770ac3a5c74999f6008fadc217bb62df938cf | |
parent | f5f93f6efc15ade5945e8572d889f22d198611b9 (diff) |
Update the homebrew tap for mlton
This version of the tap has mlton looking for libgmp.a in the correct
directory.
-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 |