Commit 6ece7d79 authored by Dominik Charousset's avatar Dominik Charousset

Add documentation step

parent 72962540
...@@ -112,7 +112,6 @@ pipeline { ...@@ -112,7 +112,6 @@ pipeline {
stages { stages {
stage('Checkout') { stage('Checkout') {
steps { steps {
notifyAllChecks(config, 'pending', '')
getSources(config) getSources(config)
} }
} }
...@@ -127,6 +126,54 @@ pipeline { ...@@ -127,6 +126,54 @@ pipeline {
buildParallel(config, PrettyJobBaseName) buildParallel(config, PrettyJobBaseName)
} }
} }
stage('Documentation') {
agent { label 'pandoc' }
steps {
deleteDir()
unstash('sources')
dir('sources') {
// Configure and build.
cmakeBuild([
buildDir: 'build',
installation: 'cmake in search path',
sourceDir: '.',
cmakeArgs: '-DCAF_BUILD_TEX_MANUAL=yes',
steps: [[
args: '--target doc',
withCmake: true,
]],
])
sshagent(['84d71a75-cbb6-489a-8f4c-d0e2793201e9']) {
sh """
if [ "${env.GIT_BRANCH}" = "master" ]; then
rsync -e "ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null" -r -z --delete build/doc/html/ www.inet.haw-hamburg.de:/users/www/www.actor-framework.org/html/doc
scp -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null build/doc/manual.pdf www.inet.haw-hamburg.de:/users/www/www.actor-framework.org/html/pdf/manual.pdf
fi
"""
}
}
dir('read-the-docs') {
git([
credentialsId: '9b054212-9bb4-41fd-ad8e-b7d47495303f',
url: 'git@github.com:actor-framework/read-the-docs.git',
])
sh """
if [ "${env.GIT_BRANCH}" = "master" ]; then
cp ../sources/build/doc/rst/* .
if [ -n "\$(git status --porcelain)" ]; then
git add .
git commit -m "Update Manual"
git push --set-upstream origin master
if [ -z "\$(grep 'exp.sha' ../sources/release.txt)" ] ; then
git tag \$(cat ../sources/release.txt)
git push origin \$(cat ../sources/release.txt)
fi
fi
fi
"""
}
}
}
stage('Notify') { stage('Notify') {
steps { steps {
collectResults(config, PrettyJobName) collectResults(config, PrettyJobName)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment