osmith has uploaded this change for review. ( https://gerrit.osmocom.org/12063
Change subject: contrib/jenkins.sh: build and publish manuals ...................................................................... contrib/jenkins.sh: build and publish manuals Install osmo-gsm-manuals like any other dependency. Add the bin subdir of the installed files to PATH, so osmo-gsm-manuals-check-depends can be used by ./configure --enable-manuals. Add optional --publish parameter to contrib/jenkins.sh to be used by the master-builds jenkins job. It will automatically upload the newly generated PDFs when commits land in master. Related: OS#3385 Change-Id: I43e3b592c593237eb4df2d70c926c031ddb7b20b --- M contrib/jenkins.sh 1 file changed, 17 insertions(+), 1 deletion(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ggsn refs/changes/63/12063/1 diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 19df974..8ef5124 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -9,6 +9,10 @@ set -ex +# gerrit-verifications.yml: leaves this empty +# master-builds.yml: sets this to "--publish" +publish="$1" + base="$PWD" deps="$base/deps" inst="$deps/install" @@ -27,6 +31,14 @@ export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH" export LD_LIBRARY_PATH="$inst/lib" +export PATH="$inst/bin:$PATH" + +# Additional configure options and depends +CONFIG="" +if [ "$WITH_MANUALS" = "True" ]; then + osmo-build-dep.sh osmo-gsm-manuals + CONFIG="--enable-manuals" +fi set +x echo @@ -38,8 +50,12 @@ cd "$base" autoreconf --install --force -./configure --enable-sanitize --enable-werror $GTP +./configure --enable-sanitize --enable-werror $GTP $CONFIG $MAKE $PARALLEL_MAKE $MAKE distcheck +if [ "$WITH_MANUALS" = "True" ] && [ "$publish" = "--publish" ]; then + make -C "$base/doc/manuals" publish +fi + osmo-clean-workspace.sh -- To view, visit https://gerrit.osmocom.org/12063 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ggsn Gerrit-Branch: master Gerrit-MessageType: newchange Gerrit-Change-Id: I43e3b592c593237eb4df2d70c926c031ddb7b20b Gerrit-Change-Number: 12063 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <[email protected]>
