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.orgosmith has uploaded this change for review. ( https://gerrit.osmocom.org/12075
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: I54fdd18e405b2c84762ea06d91359867ceec8184
---
M contrib/jenkins.sh
1 file changed, 17 insertions(+), 1 deletion(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-trx refs/changes/75/12075/1
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 029f0e1..2d4ab7e 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -15,6 +15,10 @@
mychroot_nocwd -w / "$@"
}
+# gerrit-verifications.yml: leaves this empty
+# master-builds.yml: sets this to "--publish"
+publish="$1"
+
base="$PWD"
deps="$base/deps"
inst="$deps/install"
@@ -68,6 +72,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
@@ -79,9 +91,13 @@
cd "$base"
autoreconf --install --force
-./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms $INSTR
+./configure --enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms $INSTR $CONFIG
$MAKE $PARALLEL_MAKE
$MAKE check \
|| cat-testlogs.sh
+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/12075
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-trx
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I54fdd18e405b2c84762ea06d91359867ceec8184
Gerrit-Change-Number: 12075
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/7e0ff1ae/attachment.htm>