git.iko.soy/Idris-dev
on master help sign in
enable CI builds in travis-script
9892636Norbert Melzer
.travis.yml+1−1
compare with master
unifiedsplit
@@ -20,7 +20,7 @@ before_script:
20 - tar -xf Idris-dev/dist/idris*.tar.gz
20 - tar -xf Idris-dev/dist/idris*.tar.gz
21 - cd idris*
21 - cd idris*
22script:
22script:
23− - cabal configure -f FFI
23+ - cabal configure -f FFI -f CI
24 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
24 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
25 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
25 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi