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

Update AppVeyor configuration

Browse Source
This commit is contained in:
Aaron Tomb 2019-02-25 16:06:01 -08:00
parent 8ed4dad321
commit 00b58277bb
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.appveyor.yml
View File

@ -1,8 +1,7 @@
install:
# Using '-y' and 'refreshenv' as a workaround to:
# https://github.com/haskell/cabal/issues/3687
- choco install -y ghc --version 8.4.3
- choco install -y cabal --version 2.2.0.0
- choco install -y ghc --version 8.4.4
- refreshenv
# See http://help.appveyor.com/discussions/problems/6312-curl-command-not-found#comment_42195491
# NB: Do this after refreshenv, otherwise it will be clobbered!
@ -12,5 +11,5 @@ install:
- cp z3-4.5.0-x64-win/bin/z3.exe .
build_script:
- cabal update
- cabal new-build -j
- cabal new-update
- cabal new-build