@@ -6,16 +6,6 @@ env:
7 - PKGNAME=idris
7 - PKGNAME=idris
@@ -25,28 +15,28 @@ matrix:
25 # separate caches for different compiler versions
15 # separate caches for different compiler versions
26 # 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
27 compiler: ": #GHC 7.6.3"
17 compiler: ": #GHC 7.6.3"
28− addons: {apt: {packages: [cabal-install-1.20,ghc-7.6.3], sources: [hvr-ghc]}}
18+ addons: {apt: {packages: [cabal-install-1.20,ghc-7.6.3,cppcheck,hscolour], sources: [hvr-ghc]}}
29 - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_c"
19 - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_c"
30 compiler: ": #GHC 7.8.4"
20 compiler: ": #GHC 7.8.4"
31− addons: {apt: {packages: [cabal-install-1.20,ghc-7.8.4], sources: [hvr-ghc]}}
21+ addons: {apt: {packages: [cabal-install-1.20,ghc-7.8.4,cppcheck,hscolour], sources: [hvr-ghc]}}
32 - 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"
33 compiler: ": #GHC 7.10.3"
23 compiler: ": #GHC 7.10.3"
34− addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3], sources: [hvr-ghc]}}
24+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
35 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_js"
25 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_js"
36 compiler: ": #GHC 7.10.3"
26 compiler: ": #GHC 7.10.3"
37− addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3], sources: [hvr-ghc]}}
27+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
38 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_c"
28 - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_c"
39 compiler: ": #GHC 7.10.3"
29 compiler: ": #GHC 7.10.3"
40− addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3], sources: [hvr-ghc]}}
30+ addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
41 - 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"
42 compiler: ": #GHC 8.0.1"
32 compiler: ": #GHC 8.0.1"
43− addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1], sources: [hvr-ghc]}}
33+ addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
44 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_js"
34 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_js"
45 compiler: ": #GHC 8.0.1"
35 compiler: ": #GHC 8.0.1"
46− addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1], sources: [hvr-ghc]}}
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"
49− addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1], sources: [hvr-ghc]}}
39+ addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
52 directories:
42 directories: