mirror of
https://github.com/netsurf-browser/netsurf
synced 2025-02-08 10:34:31 +03:00
improve default setting so we can override from CI system
This commit is contained in:
parent
8442ab42fb
commit
3e070502e6
@ -29,20 +29,24 @@
|
|||||||
#
|
#
|
||||||
# COVERITY_TOKEN
|
# COVERITY_TOKEN
|
||||||
# COVERITY_USER
|
# COVERITY_USER
|
||||||
# JENKINS_HOME
|
# COVERITY_PREFIX path to tools else default is used
|
||||||
|
#
|
||||||
|
# either PREFIX or JENKINS_HOME
|
||||||
|
|
||||||
# We build for the Linux targets
|
# build gtk, framebuffer and monkey frontend by default
|
||||||
ARTIFACT_TARGET=Linux
|
|
||||||
TARGETS="gtk framebuffer monkey"
|
TARGETS="gtk framebuffer monkey"
|
||||||
|
|
||||||
|
# We build for the Linux platform by default
|
||||||
|
ARTIFACT_TARGET=${TARGET:-Linux}
|
||||||
|
|
||||||
# setup build environment
|
# setup build environment
|
||||||
export PREFIX=${JENKINS_HOME}/artifacts-${ARTIFACT_TARGET}
|
export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${ARTIFACT_TARGET}}
|
||||||
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=/opt/coverity/cov-analysis-linux64-6.6.1
|
COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-6.6.1}
|
||||||
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…
x
Reference in New Issue
Block a user