aboutsummaryrefslogtreecommitdiffstats
path: root/contrib
AgeCommit message (Collapse)AuthorFilesLines
2018-11-21publish from project repos, not this repo anymoreOliver Smith1-14/+6
Do not publish PDFs for all projects anymore with jenkins.sh --publish or "make publish". Extract known_hosts from jenkins.sh, and install it along with the other shared files in OSMO_GSM_MANUALS_DIR. Add a "publish" target to Makefile.common.inc, so we can use it from the project repositories. Document its usage in INSTALL.txt. No automatism for building and publishing the documentation of all projects will be implemented in this patch series, as discussed here: https://osmocom.org/issues/3385#note-7 (moving manuals to project repositories 19/19) Related: OS#3385 Change-Id: Ibe0424ceace151115985896b6d43035c69067c50
2018-11-21jenkins.sh: run 'make distcheck'Oliver Smith1-0/+1
Everything is in place for 'make distcheck' now. (moving manuals to project repositories 18/19) Related: OS#3385 Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536
2018-11-21use autotools to add "make install" targetOliver Smith1-0/+2
For reasoning why a transition to autotools is desired, see the commit message of the previous patch in this series. "make install" copies the "build", "common" dirs, as well as the "*.xsl" files to $(prefix)/share/osmo-gsm-manuals. Prefix is typically /usr/local. Also a pkg-config file gets installed, so the path of the shared files can be looked up by autoconf scripts of the project repositories. The check-depends script is installed to $(prefix)/bin/osmo-gsm-manuals-check-depends and will be used by project specific autoconf scripts, too. All existing make targets ("make", "make check", "make upload") are still working, users only need to run "autoreconf -fi" and "./configure" beforehand. Makefile.am uses custom install-data-hook and uninstall-local targets, so we don't need to specify each file of the relevant subdirs in a _DATA variable (no extra maintenance effort). (moving manuals to project repositories 5/19) Related: OS#3385 Change-Id: I8e7036fae062ee783cb132b14608827a82c5e7c7
2018-11-16jenkins.sh: do not use libosomcore sourceOliver Smith1-12/+2
Build scripts do not depend on the libosmocore sources anymore with 161365f ("merge_doc.xsl: move from libosmocore.git"), so don't try to use them in jenkins.sh anymore. Related: OS#3385 Change-Id: Ied3661b8a02e9defca0e5aedcc4494845553db84
2018-06-28Upload to rita.osmocom.org to point to the old hostDaniel Willmann1-4/+4
osmocom.org has been migrated to a new host, but the docs upload hasn't moved yet. So explicitly upload to rita.osmocom.org. Related: OS#3338 Change-Id: Ia1518313af007a5a665b3e06619d929e15ff277d
2018-04-10jenkins.sh: add hostkey for osmocom.org:48Alexander Couzens1-1/+8
Otherwise it will depend on a setting this up in a seperate step. This way it's more decoupled from the build host. Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
2017-12-15jenkins.sh: incorporate publish step, for master buildNeels Hofmeyr1-0/+8
Change-Id: I3c14f4e0266a4eb2702ca9fa9cf05dd54fc5d853
2017-10-27jenkins: use osmo-clean-workspace.sh before and after buildNeels Hofmeyr1-0/+5
See osmo-ci change I2409b2928b4d7ebbd6c005097d4ad7337307dd93 for rationale. Depends: I2409b2928b4d7ebbd6c005097d4ad7337307dd93 Change-Id: Iaf8338d0d061c70f7ab3737dc425784dc7c170a4
2016-10-21jenkins.sh: use sh instead of bashNeels Hofmeyr1-1/+1
Change-Id: Ia65e960dc7d74e6bb7a2463316d09622e9788c97 Suggested-by: msuraev
2016-10-21jenkins.sh: call 'make check'Neels Hofmeyr1-0/+1
Preceding commits have eradicated all warnings found by the 'make check' target being added here. Call from jenkins.sh now that it will no longer fail. Change-Id: I4e1a15b7a7ed50637b1c020dcd962f42d3ced08f
2016-10-17add jenkins.sh script for jenkins build jobNeels Hofmeyr1-0/+14
Change-Id: I6c3d959202f510f0c9780d0fa28c769ea9d721e8