From 2945c07a317951f2fe74027257e1886f8bcd7902 Mon Sep 17 00:00:00 2001 From: Ivan Pelipenko Date: Thu, 28 May 2020 14:04:35 +0300 Subject: [PATCH] Jenkinsfile pip doc --- Jenkinsfile | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 19b1d7e..af9e9a7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,5 +37,18 @@ node { } } sh "docker system prune -f" + stage("PIP doc") { + agent { + label 'master' + } + checkout scm + sh "rm -rf share" + sh "rm -v *.zip" + sh "mkdir -p build" + sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../" + sh "cd build && make doc" + sh "cd share/doc && zip -r ../../pip_doc.zip pip" + archiveArtifacts 'pip_doc.zip' + } echo "${_msg}" }