git.iko.soy/Idris-dev
on master help sign in
Don't build Idris twice in CI

This is a pretty decent speedup. :) We need cabal register so idris-llvm can find the Idris library to link against. Otherwise cabal will helpfully resolve the dependency by downloading Idris from Hackage for us.

commitfe286d3cc26e089a1f80625e357bca773d28fe40 authorEcho Nolan <echo@echonolan.net> dateWed 26 Nov 2014, 23:18 (12 years ago) parentc87ea77
1 file changed+2−1
compare with master
unifiedsplit
.travis.yml+2−1
.travis.yml+2−1
@@ -12,7 +12,7 @@ before_install:
1212 - sudo apt-get install -qq expect
1313 - cabal install alex-3.1.3
1414install:
15− - cabal install -f FFI --enable-tests
15+ - cabal install -f FFI --enable-tests --dependencies-only
1616 - ghc-pkg list
1717before_script:
1818 - cabal sdist
@@ -23,6 +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" != "doc" ]]; then cabal register; fi
2627 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
2728 - make -j2 $TESTS
2829env: