git.iko.soy/Idris-dev
on master help sign in
Don't build Idris twice in CI
fe286d3Echo Nolan
.travis.yml+2−1
compare with master
unifiedsplit
@@ -12,7 +12,7 @@ before_install:
12 - sudo apt-get install -qq expect
12 - sudo apt-get install -qq expect
13 - cabal install alex-3.1.3
13 - cabal install alex-3.1.3
14install:
14install:
15− - cabal install -f FFI --enable-tests
15+ - cabal install -f FFI --enable-tests --dependencies-only
16 - ghc-pkg list
16 - ghc-pkg list
17before_script:
17before_script:
18 - cabal sdist
18 - cabal sdist
@@ -23,6 +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+ - if [[ "$TESTS" != "doc" ]]; then cabal register; 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
27 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
27 - make -j2 $TESTS
28 - make -j2 $TESTS
28env:
29env: