Merge pull request imatix#19 from jimklimov/jenkinsfile

Problem: there is no Jenkinsfile
jimklimov · Nov 14, 2017 · 734e073 · 734e073
2 parents 2307270 + 965c36f
commit 734e073
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -22,6 +22,9 @@ build/
 [Tt]est[Rr]esult*/
 [Bb]uild[Ll]og.*
 
+# Jenkins temp dir
+src@tmp/
+
 *_i.c
 *_p.c
 *.ilk

diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,32 @@
+pipeline {
+    agent { label "linux || macosx || windows" }
+    triggers {
+        pollSCM 'H/5 * * * *'
+    }
+    stages {
+        stage ('compile') {
+            steps {
+                dir ('src') {
+                    sh 'CCACHE_BASEDIR="`pwd`" ; export CCACHE_BASEDIR; make -k -j4 || make'
+                    sh 'echo "Are GitIgnores good after make? (should have no output below)"; git status -s || true'
+                }
+            }
+        }
+        stage ('test') {
+            steps {
+                dir ('src') {
+                    sh 'CCACHE_BASEDIR="`pwd`" ; export CCACHE_BASEDIR; make test'
+                    sh 'echo "Are GitIgnores good after make test? (should have no output below)"; git status -s || true'
+                }
+            }
+        }
+        stage ('self-check GSL parser') {
+            steps {
+                dir ('src') {
+                    sh 'CCACHE_BASEDIR="`pwd`" ; export CCACHE_BASEDIR; make check'
+                    sh 'echo "Are GitIgnores good after make check? (should have no output below)"; git status -s || true'
+                }
+            }
+        }
+    }
+}