Slight tidy of travis config.
Merged brew install commands into a single call. Pkgconfig is installed by default with travis, so only install if it is outdated.
commit800af28118f6f178f3136c10abf3cf29400eff92
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 24 Nov 2016, 19:14 (10 years ago)
parent62f8aae
.travis.yml+3−3
@@ -56,9 +56,9 @@ before_install:
5656 - env
5757 - if [[ $TRAVIS_OS_NAME == 'osx' ]];
5858 then
59− brew update; brew install ghc; brew install cabal-install;
60− brew install libffi; brew install pkg-config; brew install cppcheck;
61− brew install gnu-sed;
59+ brew update;
60+ brew outdated pkgconfig || brew install pkgconfig;
61+ brew install ghc cabal-install libffi cppcheck gnu-sed;
6262 export PATH=$HOME/.cabal/bin:$PATH;
6363 export SED=gsed;
6464 export ZCAT=gzcat;