From b08ccb20dc0515609ca5320bf9f2a7e746c482e8 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Tue, 26 Jun 2018 01:03:39 +0200
Subject: [PATCH] Enabled CI builds (added Jenkinsfiles)

---
 Jenkinsfile                 | 60 +++++++++++++++++++++++++++++++++++++
 Jenkinsfile-publish-doc     | 19 ++++++++++++
 Jenkinsfile-publish-sources | 15 ++++++++++
 3 files changed, 94 insertions(+)
 create mode 100644 Jenkinsfile
 create mode 100644 Jenkinsfile-publish-doc
 create mode 100644 Jenkinsfile-publish-sources

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 000000000..2bbadf168
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,60 @@
+
+@Library("osconfig") _
+
+//  from shared library
+target = osconfig()
+
+currentBuild.description = "Pipelined " + target
+
+node("master") {
+
+  artefacts = pwd() + "/artefacts"
+  target_dir = artefacts + "/" + target
+
+  stage("Checkout sources") {
+
+    checkout scm
+
+  }
+
+  stage("Building target ${target}") {
+        
+    withDockerContainer(image: "jenkins-${target}") {
+      //  from shared library
+      build(target, target_dir)
+    }
+
+  }
+        
+  stage("Publish and test") {
+        
+    parallel(
+    "Publish": {
+
+      //  from shared library
+      publish(BRANCH_NAME, target, target_dir)
+
+    },
+    "Unit testing": {
+            
+      ut_result = "no-result"
+      withDockerContainer(image: "jenkins-${target}") {
+        ut_result = run_ut(target)
+      }
+            
+      junit(testResults: ut_result)
+
+    }, 
+    "Installtest": {
+            
+      withDockerContainer(image: "jenkins-${target}-basic") {
+        //  from shared library
+        installtest(target, target_dir)
+      }
+
+    })
+
+  }
+        
+}
+
diff --git a/Jenkinsfile-publish-doc b/Jenkinsfile-publish-doc
new file mode 100644
index 000000000..99bf07aff
--- /dev/null
+++ b/Jenkinsfile-publish-doc
@@ -0,0 +1,19 @@
+
+@Library("osconfig") _
+
+node("master") {
+
+  stage("Checkout sources") {
+    checkout scm
+  }
+
+  stage("Producing doc") {
+    sh "./scripts/extract_user_doc.sh -i " + BRANCH_NAME
+  }
+
+  stage("Publish doc") {
+    publish_doc(BRANCH_NAME)
+  }
+
+}
+
diff --git a/Jenkinsfile-publish-sources b/Jenkinsfile-publish-sources
new file mode 100644
index 000000000..a444928e3
--- /dev/null
+++ b/Jenkinsfile-publish-sources
@@ -0,0 +1,15 @@
+
+@Library("osconfig") _
+
+node("master") {
+
+  stage("Checkout sources") {
+    checkout scm
+  }
+
+  stage("Publish sources") {
+    publish_sources(BRANCH_NAME)
+  }
+
+}
+