Enabled CI builds (added Jenkinsfiles)

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

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

Jenkinsfile-publish-sources

@@ -0,0 +1,15 @@
+
+@Library("osconfig") _
+
+node("master") {
+
+  stage("Checkout sources") {
+    checkout scm
+  }
+
+  stage("Publish sources") {
+    publish_sources(BRANCH_NAME)
+  }
+
+}
+