git.iko.soy/Idris-dev
on master help sign in
Only build llvm backend if testing llvm
8adcb0aMarkus Pfeiffer
.travis.yml+1−7
compare with master
unifiedsplit
@@ -23,13 +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− - git clone --depth 1 https://github.com/markuspf/idris-llvm.git
26+ - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/markuspf/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
27− - cd idris-llvm
28− - cabal install --only-dependencies
29− - cabal configure
30− - cabal build
31− - cabal copy
32− - cd ..
33 - make -j2 $TESTS
27 - make -j2 $TESTS
34env:
28env:
35 - TESTS="doc"
29 - TESTS="doc"