enable CI builds in travis-script
commit989263635061bf105584e4c8d04be333798ad39c
authorNorbert Melzer <timmelzer@gmail.com>
dateSun 4 Jan 2015, 18:10 (12 years ago)
parent5c17e42
.travis.yml+1−1
@@ -20,7 +20,7 @@ before_script:
2020 - tar -xf Idris-dev/dist/idris*.tar.gz
2121 - cd idris*
2222script:
23− - cabal configure -f FFI
23+ - cabal configure -f FFI -f CI
2424 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
2525 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2626 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi