Merge "CI: Use bundled jansson if needed." into 13

This commit is contained in:
George Joseph
2018-10-15 10:35:26 -05:00
committed by Gerrit Code Review

View File

@@ -73,9 +73,11 @@ runner ccache -s
runner ulimit -a runner ulimit -a
MAKE=`which make` MAKE=`which make`
PKGCONFIG=`which pkg-config`
[ -d /usr/lib64 ] && _libdir=/usr/lib64 [ -d /usr/lib64 ] && _libdir=/usr/lib64
common_config_args="--prefix=/usr ${_libdir:+--libdir=${_libdir}} --sysconfdir=/etc --with-pjproject-bundled" common_config_args="--prefix=/usr ${_libdir:+--libdir=${_libdir}} --sysconfdir=/etc --with-pjproject-bundled"
$PKGCONFIG 'jansson' || common_config_args+=" --with-jansson-bundled"
common_config_args+=" ${CACHE_DIR:+--with-sounds-cache=${CACHE_DIR}/sounds --with-externals-cache=${CACHE_DIR}/externals}" common_config_args+=" ${CACHE_DIR:+--with-sounds-cache=${CACHE_DIR}/sounds --with-externals-cache=${CACHE_DIR}/externals}"
common_config_args+=" --enable-dev-mode" common_config_args+=" --enable-dev-mode"
if [ $COVERAGE -eq 1 ] ; then if [ $COVERAGE -eq 1 ] ; then