idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-05 02:18:13 +03:00
Code Issues Projects Releases Wiki Activity

Make sure we use the official version of idris-llvm for testing

Browse Source
This commit is contained in:
Markus Pfeiffer 2014-09-20 00:14:07 +01:00
parent 8adcb0ae01
commit f40f8d844c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -23,7 +23,7 @@ script:
- cabal configure -f FFI
- if [[ "$TESTS" != "doc" ]]; then cabal build; fi
- if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
- if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/markuspf/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
- if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
- make -j2 $TESTS
env:
- TESTS="doc"