Don't compile before building docs in Travis
This makes the build go faster, and Haddock has to type check everything anyway.
commitfc0c55c7fed9b6c3f9be5fba40f0e019bc9eb651
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 5 May 2014, 13:13 (12 years ago)
parente2c4148
.travis.yml+6−6
@@ -19,11 +19,11 @@ before_script:
1919 - cd idris*
2020script:
2121 - cabal configure -f FFI -f LLVM
22− - cabal build
23− - cabal copy
22+ - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
23+ - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2424 - make -j2 $TESTS
2525env:
26− - TESTS=doc
27− - TESTS=test_c
28− - TESTS=test_llvm
29− - TESTS=test_js
26+ - TESTS="doc"
27+ - TESTS="test_c"
28+ - TESTS="test_llvm"
29+ - TESTS="test_js"