mirror of
https://github.com/netsurf-browser/netsurf
synced 2024-12-16 17:22:44 +03:00
Update the coverity build script for buildsystem HOST/BUILD changes
This commit is contained in:
parent
876b6cbeb0
commit
6684b938e2
@ -27,10 +27,10 @@
|
|||||||
|
|
||||||
# environment variables
|
# environment variables
|
||||||
#
|
#
|
||||||
|
# HOST The ABI to be compiled for
|
||||||
# COVERITY_TOKEN
|
# COVERITY_TOKEN
|
||||||
# COVERITY_USER
|
# COVERITY_USER
|
||||||
# COVERITY_PREFIX path to tools else default is used
|
# COVERITY_PREFIX path to tools else default is used
|
||||||
# BUILD
|
|
||||||
#
|
#
|
||||||
# either PREFIX or JENKINS_HOME
|
# either PREFIX or JENKINS_HOME
|
||||||
|
|
||||||
@ -38,13 +38,13 @@
|
|||||||
TARGETS="gtk framebuffer monkey"
|
TARGETS="gtk framebuffer monkey"
|
||||||
|
|
||||||
# setup build environment
|
# setup build environment
|
||||||
export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${BUILD}}
|
export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${HOST}}
|
||||||
export PKG_CONFIG_PATH=${PREFIX}/lib/pkgconfig
|
export PKG_CONFIG_PATH=${PREFIX}/lib/pkgconfig
|
||||||
export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${PREFIX}/lib
|
export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${PREFIX}/lib
|
||||||
export PATH=${PATH}:${PREFIX}/bin
|
export PATH=${PATH}:${PREFIX}/bin
|
||||||
|
|
||||||
# Coverity tools location
|
# Coverity tools location
|
||||||
COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.0.2}
|
COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.5.0}
|
||||||
COVERITY_VERSION=$(git rev-parse HEAD)
|
COVERITY_VERSION=$(git rev-parse HEAD)
|
||||||
|
|
||||||
export PATH=${PATH}:${COVERITY_PREFIX}/bin
|
export PATH=${PATH}:${COVERITY_PREFIX}/bin
|
||||||
|
Loading…
Reference in New Issue
Block a user