GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 09:02:04 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #16 from GaloisInc/jhx/fix-travis

Browse Source 
Fix travis builds.
This commit is contained in:
Joe Hendrix 2018-11-12 10:32:36 -05:00 committed by GitHub
commit b9ffb894cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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: