.travis/osx.sh
#!/bin/bash
# Install some custom requirements on OS X
# e.g. brew install pyenv-virtualenv
stty rows 40 columns 80 # set rows, columns in terminal
wget https://distfiles.macports.org/MacPorts/MacPorts-2.3.3.tar.bz2
tar xvfj MacPorts-2.3.3.tar.bz2
cd MacPorts-2.3.3
./configure && sudo make install
export PATH=/opt/local/bin:$PATH
sudo port -v selfupdate
cp /opt/local/etc/macports/sources.conf .
echo "https://leanprover.github.io/macports/ports.tar" >> sources.conf
sudo mv -f sources.conf /opt/local/etc/macports/sources.conf
case "${TOXENV}" in
py33)
# Install some custom Python 3.3 requirements on OS X
sudo port install py33-poppler-pyqt4
;;
py34)
sudo port install py34-poppler-pyqt4
;;
py35)
sudo port install py35-poppler-pyqt4
;;
esac