@@ -6,23 +6,6 @@ env:
7 - PKGNAME=idris
7 - PKGNAME=idris
@@ -32,20 +15,28 @@ matrix:
32 # separate caches for different compiler versions
15 # separate caches for different compiler versions
33 # until https://github.com/travis-ci/travis-ci/issues/4393 is resolved
16 # until https://github.com/travis-ci/travis-ci/issues/4393 is resolved
34 compiler: ": #GHC 7.6.3"
17 compiler: ": #GHC 7.6.3"
18+ addons: {apt: {packages: [cabal-install-1.20,ghc-7.6.3,cppcheck,hscolour], sources: [hvr-ghc]}}
35 - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_c"
19 - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_c"
36 compiler: ": #GHC 7.8.4"
20 compiler: ": #GHC 7.8.4"
21+ addons: {apt: {packages: [cabal-install-1.20,ghc-7.8.4,cppcheck,hscolour], sources: [hvr-ghc]}}
37 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="lib_doc doc"
22 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="lib_doc doc"
38 compiler: ": #GHC 7.10.3"
23 compiler: ": #GHC 7.10.3"
24+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
39 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_js"
25 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_js"
40 compiler: ": #GHC 7.10.3"
26 compiler: ": #GHC 7.10.3"
27+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
41 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_c"
28 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_c"
42 compiler: ": #GHC 7.10.3"
29 compiler: ": #GHC 7.10.3"
30+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
43 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="lib_doc doc"
31 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="lib_doc doc"
44 compiler: ": #GHC 8.0.1"
32 compiler: ": #GHC 8.0.1"
33+ addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
45 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_js"
34 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_js"
46 compiler: ": #GHC 8.0.1"
35 compiler: ": #GHC 8.0.1"
36+ addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
47 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_c"
37 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_c"
48 compiler: ": #GHC 8.0.1"
38 compiler: ": #GHC 8.0.1"
39+ addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
51 directories:
42 directories:
@@ -155,4 +146,4 @@ script:
155 - cd benchmarks && ./build.pl && ./run.pl && cd ..
146 - cd benchmarks && ./build.pl && ./run.pl && cd ..
156 - echo -en 'travis_fold:end:script.benchmarks\\r'
147 - echo -en 'travis_fold:end:script.benchmarks\\r'