Make sure we use the official version of idris-llvm for testing
commitf40f8d844c6c7038d8a347a045734750d17df255
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
dateSat 20 Sep 2014, 00:14 (12 years ago)
parent8adcb0a
.travis.yml+1−1
@@ -23,7 +23,7 @@ script:
2323 - cabal configure -f FFI
2424 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
2525 - 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
2727 - make -j2 $TESTS
2828env:
2929 - TESTS="doc"