From a888c51e499da4942f6106cf1b5c1128f51ca529 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 27 Dec 2016 15:32:50 +0100
Subject: [PATCH] first version of jenkinsfile

---
 JenkinsFile | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 JenkinsFile

diff --git a/JenkinsFile b/JenkinsFile
new file mode 100644
index 000000000..454530b7c
--- /dev/null
+++ b/JenkinsFile
@@ -0,0 +1,43 @@
+node {
+   def cmakeTool
+   stage('Preparation') {
+      // Get some code from a GitHub repository
+      checkout scm
+      
+      cmakeTool = tool name: 'InSearchPath', type: 'hudson.plugins.cmake.CmakeTool'
+      
+      sh "rm -rf build"
+      sh "mkdir -p build"
+   }
+   stage('Configure') {
+      dir("build") {
+          sh "${cmakeTool} .."
+      }
+      
+   }
+   
+   stage('Build') {
+      dir("build") {
+          sh "make -j 4 storm"
+      }
+      
+   }
+   
+   stage('Build Tests') {
+      dir("build") {
+          sh "make -j 4 tests"
+      }
+      
+   }
+   
+   stage('Test') {
+       dir("build")
+       sh "make check"
+   }
+   
+   stage('Archive') {
+      archiveArtifacts artifacts: 'build/bin/*', onlyIfSuccessful: true
+      archiveArtifacts artifacts: 'build/lib/*', onlyIfSuccessful: true
+      archiveArtifacts artifacts: 'build/include/*', onlyIfSuccessful: true
+   }
+}