GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Fix travis builds.

Browse Source
This commit is contained in:
Joe Hendrix 2018-11-12 09:58:10 -05:00
parent 1d88f1fe98
commit 6ce5a95b83
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -41,8 +41,8 @@ install:
# any command which exits with a non-zero exit code causes the build to fail.
script:
- travis_wait stack --no-terminal --skip-ghc-check setup
- stack build macaw-x86 macaw-x86-symbolic
- stack test macaw-x86
- stack --stack-yaml stack.ghc-8.2.2.yaml build macaw-x86 macaw-x86-symbolic
- stack --stack-yaml stack.ghc-8.2.2.yaml test macaw-x86
# Check that the resulting source distribution can be built & installed.
# If there are no other `.tar.gz` files in `dist`, this can be even simpler: