Change in osmo-bts[master]: contrib/jenkins_*.sh: build and publish manuals

[osmith]

osmith has uploaded this change for review. ( https://gerrit.osmocom.org/12076


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_bts_model.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: If51194cc595bd8cf1081b35ab0e1a5ddcd448860
---
M contrib/jenkins_bts_model.sh
M contrib/jenkins_common.sh
2 files changed, 17 insertions(+), 0 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-bts refs/changes/76/12076/1

diff --git a/contrib/jenkins_bts_model.sh b/contrib/jenkins_bts_model.sh
index 9aa943f..8ccf77c 100755
--- a/contrib/jenkins_bts_model.sh
+++ b/contrib/jenkins_bts_model.sh
@@ -16,6 +16,10 @@
 
 set -x -e
 
+# gerrit-verifications.yml: leaves this empty
+# master-builds.yml: sets this to "--publish"
+export publish="$2"
+
 case "$bts_model" in
 
   sysmo)
diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh
index bdb12d5..7ceba4f 100644
--- a/contrib/jenkins_common.sh
+++ b/contrib/jenkins_common.sh
@@ -38,10 +38,23 @@
     osmo-deps.sh libosmocore
     cd $base
     shift
+
+    # Manuals: build
     conf_flags="$*"
+    if [ "$WITH_MANUALS" = "True" ]; then
+        conf_flags="$conf_flags --enable-manuals"
+        osmo-build-dep.sh osmo-gsm-manuals
+        export PATH="$inst/bin:$PATH"
+    fi
+
     autoreconf --install --force
     ./configure $conf_flags
     $MAKE $PARALLEL_MAKE
     $MAKE check || cat-testlogs.sh
     DISTCHECK_CONFIGURE_FLAGS="$conf_flags" $MAKE distcheck || cat-testlogs.sh
+
+    # Manuals: publish
+    if [ "$WITH_MANUALS" = "True" ] && [ "$publish" = "--publish" ]; then
+        $MAKE -C "$base/doc/manuals" publish
+    fi
 }

-- 
To view, visit https://gerrit.osmocom.org/12076
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-bts
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: If51194cc595bd8cf1081b35ab0e1a5ddcd448860
Gerrit-Change-Number: 12076
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/f721f5f0/attachment.htm>