From f9b9bf6a131301cd1cb2e3827b7fc29d8a646d91 Mon Sep 17 00:00:00 2001
From: Jim Klimov <jim@jimklimov.com>
Date: Wed, 15 Nov 2017 00:09:15 +0100
Subject: [PATCH 1/2] Initial commit of a Jenkinsfile to test GSL

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..cdc047b
--- /dev/null
+++ 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'
+                }
+            }
+        }
+    }
+}

From 965c36f31247a0a02f825d871e5c384726fdd4da Mon Sep 17 00:00:00 2001
From: Jim Klimov <jim@jimklimov.com>
Date: Wed, 15 Nov 2017 00:26:10 +0100
Subject: [PATCH 2/2] GitIgnore the Jenkins temp dir

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 1e154a0..2ea0b9e 100644
--- 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