on master help sign in
Added static analysis to C RTS
commit95e42228f41b919425f130611955db79990149fc authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 10 Feb 2015, 19:06 (12 years ago) parent38e3a40
1 file changed+2
.travis.yml+2
.travis.yml+2
@@ -10,6 +10,7 @@ before_install:
1010 - sudo apt-get install hscolour
1111 # test dependency
1212 - sudo apt-get install -qq expect
13+ - sudo apt-get install -qq cppcheck
1314 - cabal install alex-3.1.3
1415install:
1516 - cabal install -f FFI --enable-tests --dependencies-only
@@ -24,6 +25,7 @@ script:
2425 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
2526 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2627 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
28+ - if [[ "$TESTS" == "test_c" ]]; cppcheck --error-exitcode=1 --quiet ./rts/ ; fi
2729 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
2830 - make -j2 $TESTS
2931env: