From cbd7b5b46a2098b8d88a96370cc8d9aeb05a71f7 Mon Sep 17 00:00:00 2001
From: krzys-h <krzys_h@interia.pl>
Date: Fri, 27 May 2016 19:05:26 +0200
Subject: [PATCH] Added Jenkinsfile

---
 Jenkinsfile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 Jenkinsfile

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'
+}