Merge pull request 'master' (#9) from master into release
All checks were successful
SHS Gitea/shstk/pipeline/head This commit looks good
All checks were successful
SHS Gitea/shstk/pipeline/head This commit looks good
Reviewed-on: https://git.shs.tools/SHS/shstk/pulls/9
This commit was merged in pull request #9.
This commit is contained in:
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@@ -50,7 +50,7 @@ pipeline {
|
|||||||
sh "rm -rf share"
|
sh "rm -rf share"
|
||||||
sh "rm -vf *.zip"
|
sh "rm -vf *.zip"
|
||||||
sh "mkdir -p build"
|
sh "mkdir -p build"
|
||||||
sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../"
|
sh "cd build && cmake -DLOCAL=1 -DCMAKE_INSTALL_PREFIX=`pwd` ../"
|
||||||
sh "cd build && make doc"
|
sh "cd build && make doc"
|
||||||
sh "cd share/doc && zip -r ../../pip_doc.zip pip"
|
sh "cd share/doc && zip -r ../../pip_doc.zip pip"
|
||||||
sh "cp share/doc/pip/html/pip.qch ./"
|
sh "cp share/doc/pip/html/pip.qch ./"
|
||||||
|
|||||||
2
cmake
2
cmake
Submodule cmake updated: e4a4c88d23...d1a11269f7
Reference in New Issue
Block a user