diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 100889f4..d889a06b 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -47,15 +47,21 @@ jobs: - name: Install dependencies run: | sudo apt-get -y update - sudo apt-get -y install pkg-config libsystemd-dev - - name: Configure + sudo apt-get -y install pkg-config libjansson-dev libev-dev libite-dev \ + libaugeas-dev libglib2.0-dev libpcre2-dev + - name: Build dependencies run: | - ./autogen.sh - ./configure --prefix= - - name: Build + git clone https://github.com/CESNET/libyang.git + mkdir libyang/build + (cd libyang/build && cmake .. && make all && sudo make install) + git clone https://github.com/sysrepo/sysrepo.git + mkdir sysrepo/build + (cd sysrepo/build && cmake .. && make all && sudo make install) + make dep + - name: Check applications run: | export PATH=`pwd`/coverity/bin:$PATH - cov-build --dir cov-int make + cov-build --dir cov-int make check - name: Submit results to Coverity Scan env: TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} diff --git a/Makefile b/Makefile index 92968f84..e57141b1 100644 --- a/Makefile +++ b/Makefile @@ -12,6 +12,7 @@ all: $(config) buildroot/Makefile @+$(call bmake,$@) check dep: + @echo "Starting local check, stage $@ ..." @make -C src $@ $(config): diff --git a/src/Makefile b/src/Makefile index c1c45d69..134ac99f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,12 +1,14 @@ # Host build of critical components, for Coverity Scan mostly APPS = confd statd factory +.PHONY: alla all: @echo "*** all not supported, only check possible ***" false -dep: libsrx - (cd $< && make -f check.mk $@) +.PHONY: dep +dep: + (cd libsrx && make -f check.mk dep) check: $(APPS) rm -rf staging