git.iko.soy/Idris-dev
on master help sign in
Make sure we use the official version of idris-llvm for testing
f40f8d8Markus Pfeiffer
.travis.yml+1−1
compare with master
unifiedsplit
@@ -23,7 +23,7 @@ script:
23 - cabal configure -f FFI
23 - cabal configure -f FFI
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" == "test_llvm" ]]; then git clone --depth 1 https://github.com/markuspf/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
26+ - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
27 - make -j2 $TESTS
27 - make -j2 $TESTS
28env:
28env:
29 - TESTS="doc"
29 - TESTS="doc"