diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 00000000..78efe9f8 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,19 @@ +node('master') { + stage 'Pull changes' + checkout scm + + stage 'Build data' + sh 'mkdir -p build' + dir('build') { + sh ''' + cmake -DCMAKE_INSTALL_PREFIX=/install -DCOLOBOT_INSTALL_DATA_DIR=/install/data .. + make + rm -rf install + DESTDIR=. make install + ''' + } + + stage 'Archive data' + sh 'rm -f data.zip' + zip zipFile: 'data.zip', archive: true, dir: 'build/install' +}