You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

.travis.yml 1.1KB

1234567891011121314151617181920212223242526272829303132333435
  1. # Use new container infrastructure to enable caching
  2. sudo: false
  3. # Choose a lightweight base image; we provide our own build tools.
  4. language: c
  5. # GHC depends on GMP. You can add other dependencies here as well.
  6. addons:
  7. apt:
  8. packages:
  9. - libgmp-dev
  10. # The different configurations we want to test. You could also do things like
  11. # change flags or use --stack-yaml to point to a different file.
  12. env:
  13. - ARGS=""
  14. #- ARGS="--resolver lts-10"
  15. - ARGS="--resolver lts"
  16. - ARGS="--resolver nightly"
  17. before_install:
  18. # Download and unpack the stack executable
  19. - mkdir -p ~/.local/bin
  20. - export PATH=$HOME/.local/bin:$PATH
  21. - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
  22. # This line does all of the work: installs GHC if necessary, builds the
  23. # library, executables, and test suites, and runs the test suites.
  24. # `--no-terminal works` around some quirks in Travis's terminal implementation.
  25. script: stack $ARGS --no-terminal --install-ghc test
  26. # Caching so the next build will be fast too.
  27. cache:
  28. directories:
  29. - $HOME/.stack