GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-11 07:00:49 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo in Travis config

Browse Source
This commit is contained in:
Aaron Tomb 2017-07-07 15:11:25 -07:00
parent aeeb938e18
commit 80faaa4819
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.travis.yml
View File

@ -18,7 +18,8 @@ before_install:
export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/.cabal/bin:$PATH;
curl https://saw.galois.com/builds/z3/z3 > z3;
chmod +x z3;
mv z3 $HOME/.cabal/bin/z3
mv z3 $HOME/.cabal/bin/z3;
z3 --version;
fi
- if [[ $TRAVIS_OS_NAME == 'osx' ]];
then