[ci,coverity] update configuration
This commit is contained in:
parent
c9850bb299
commit
8aa9017dd0
7
.github/workflows/coverity.yml
vendored
7
.github/workflows/coverity.yml
vendored
@ -77,7 +77,12 @@ jobs:
|
||||
export CC=/usr/bin/clang
|
||||
export CXX=/usr/bin/clang++
|
||||
# in source build is used to help coverity to determine relative file path
|
||||
cmake -DALLOW_IN_SOURCE_BUILD=true -GNinja .
|
||||
cmake \
|
||||
-GNinja \
|
||||
-C ci/cmake-preloads/config-coverity.txt \
|
||||
-DALLOW_IN_SOURCE_BUILD=true \
|
||||
-B. \
|
||||
-S.
|
||||
cov-build --dir cov-int cmake --build .
|
||||
|
||||
- name: Submit build result to Coverity Scan
|
||||
|
18
ci/cmake-preloads/config-coverity.txt
Normal file
18
ci/cmake-preloads/config-coverity.txt
Normal file
@ -0,0 +1,18 @@
|
||||
set (CMAKE_VERBOSE_MAKEFILE ON CACHE BOOL "preload")
|
||||
set (WINPR_UTILS_IMAGE_JPEG ON CACHE BOOL "preload")
|
||||
set (WINPR_UTILS_IMAGE_WEBP ON CACHE BOOL "preload")
|
||||
set (WINPR_UTILS_IMAGE_PNG ON CACHE BOOL "preload")
|
||||
set (WITH_CAIRO ON CACHE BOOL "preload")
|
||||
set (WITH_DSP_EXPERIMENTAL ON CACHE BOOL "preload")
|
||||
set (WITH_DSP_FFMPEG ON CACHE BOOL "preload")
|
||||
set (WITH_FFMPEG ON CACHE BOOL "preload")
|
||||
set (WITH_INTERNAL_RC4 ON CACHE BOOL "preload")
|
||||
set (WITH_INTERNAL_MD4 ON CACHE BOOL "preload")
|
||||
set (WITH_INTERNAL_MD5 ON CACHE BOOL "preload")
|
||||
set (WITH_OPUS ON CACHE BOOL "preload")
|
||||
set (WITH_PROXY_EMULATE_SMARTCARD ON CACHE BOOL "preload")
|
||||
set (WITH_PULSE ON CACHE BOOL "preload")
|
||||
set (WITH_SMARTCARD_INSPECT ON CACHE BOOL "preload")
|
||||
set (WITH_SOXR ON CACHE BOOL "preload")
|
||||
set (WITH_UNICODE_BUILTIN ON CACHE BOOL "preload")
|
||||
|
Loading…
Reference in New Issue
Block a user