mirror of
https://github.com/idris-lang/Idris-dev.git
synced 2024-10-05 02:18:13 +03:00
enable CI builds in travis-script
This commit is contained in:
parent
5c17e4288c
commit
9892636350
@ -20,7 +20,7 @@ before_script:
|
|||||||
- tar -xf Idris-dev/dist/idris*.tar.gz
|
- tar -xf Idris-dev/dist/idris*.tar.gz
|
||||||
- cd idris*
|
- cd idris*
|
||||||
script:
|
script:
|
||||||
- cabal configure -f FFI
|
- cabal configure -f FFI -f CI
|
||||||
- if [[ "$TESTS" != "doc" ]]; then cabal build; fi
|
- if [[ "$TESTS" != "doc" ]]; then cabal build; fi
|
||||||
- if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
|
- if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
|
||||||
- if [[ "$TESTS" != "doc" ]]; then cabal register; fi
|
- if [[ "$TESTS" != "doc" ]]; then cabal register; fi
|
||||||
|
Loading…
Reference in New Issue
Block a user