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

Put Z3 in $HOME/bin on Travis/Linux

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

5
.travis.yml
View File

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