Prepare for Coverity static analysis

PrincetonUniversity · Sep 17, 2019 · bf3bbb3 · bf3bbb3
1 parent 51db4b7
commit bf3bbb3
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -102,7 +102,7 @@ matrix:
       before_script:
         - source $TRAVIS_BUILD_DIR/scripts/travis/install-externs.sh $TRAVIS_BUILD_DIR
       script:
-        - echo ${COVERITY_SCAN_BRANCH} 
+        - source $TRAVIS_BUILD_DIR/scripts/travis/build-static.sh $TRAVIS_BUILD_DIR
 
 addons:
   apt:

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -11,7 +11,7 @@ endif()
 # PROJECT
 # name version language
 # ---------------------------------------------------------------------------- #
-project(ilang VERSION     0.9.4
+project(ilang VERSION     0.9.5
               LANGUAGES   CXX
 )
 

diff --git a/scripts/travis/build-static.sh b/scripts/travis/build-static.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+CI_BUILD_DIR=$1
+
+cd $CI_BUILD_DIR
+mkdir -p build
+cd build
+cmake .. -DCMAKE_BUILD_TYPE=Debug -DILANG_COVERITY=ON -DILANG_BUILD_TEST=OFF
+make -j$(nproc)