Change in osmo-ggsn[master]: contrib/jenkins.sh: build and publish manuals

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

osmith gerrit-no-reply at lists.osmocom.org
Mon Dec 3 10:46:06 UTC 2018


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 <osmith at sysmocom.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20181203/a5533eb6/attachment.htm>


More information about the gerrit-log mailing list