ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-14 13:56:59 +03:00
Code Issues Projects Releases Wiki Activity

Adapt travis testing

Browse Source
This commit is contained in:
Markus Pfeiffer 2014-09-18 10:53:37 +01:00
parent 674b58fae5
commit de45d29d0b
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.travis.yml
View File

@ -12,14 +12,9 @@ before_install:
- sudo apt-get install -qq expect - sudo apt-get install -qq expect
- cabal install alex-3.1.3 - cabal install alex-3.1.3
install: install:
- cabal install -f FFI --only-dependencies --enable-tests - cabal install -f FFI --enable-tests
- ghc-pkg list - ghc-pkg list
before_script: before_script:
- cd ..
- git clone --depth 1 git@github.com:idris-hackers/idris-llvm.git
- cd idris-llvm
- cabal install
- cd ..
- cabal sdist - cabal sdist
- cd .. - cd ..
- tar -xf Idris-dev/dist/idris*.tar.gz - tar -xf Idris-dev/dist/idris*.tar.gz
@ -28,6 +23,13 @@ script:
- cabal configure -f FFI - cabal configure -f FFI
- 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
- git clone --depth 1 https://github.com/markuspf/idris-llvm.git
- cd idris-llvm
- cabal install --only-dependencies
- cabal configure
- cabal build
- cabal copy
- cd ..
- make -j2 $TESTS - make -j2 $TESTS
env: env:
- TESTS="doc" - TESTS="doc"