Only build llvm backend if testing llvm
commit8adcb0ae0192335dc3bc3962e58e1bd8549d7509
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
dateFri 19 Sep 2014, 16:54 (12 years ago)
parentde45d29
.travis.yml+1−7
@@ -23,13 +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− - git clone --depth 1 https://github.com/markuspf/idris-llvm.git
27− - cd idris-llvm
28− - cabal install --only-dependencies
29− - cabal configure
30− - cabal build
31− - cabal copy
32− - cd ..
26+ - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/markuspf/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
3327 - make -j2 $TESTS
3428env:
3529 - TESTS="doc"