@@ -10,6 +10,7 @@ before_install:
10 - sudo apt-get install hscolour
10 - sudo apt-get install hscolour
11 # test dependency
11 # test dependency
12 - sudo apt-get install -qq expect
12 - sudo apt-get install -qq expect
13+ - sudo apt-get install -qq cppcheck
13 - cabal install alex-3.1.3
14 - cabal install alex-3.1.3
15 - cabal install -f FFI --enable-tests --dependencies-only
16 - cabal install -f FFI --enable-tests --dependencies-only
@@ -24,6 +25,7 @@ script:
24 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
25 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
25 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
27 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
28+ - if [[ "$TESTS" == "test_c" ]]; cppcheck --error-exitcode=1 --quiet ./rts/ ; 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
29 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
28 - make -j2 $TESTS
30 - make -j2 $TESTS