From 3a910555a190f7aa087c7a3b45f0b44d2c5c04f2 Mon Sep 17 00:00:00 2001
From: TSC21 <n.marques21@hotmail.com>
Date: Fri, 28 Sep 2018 00:26:43 +0100
Subject: [PATCH] add Jenkins catkin build

---
 Jenkinsfile | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index f0293fd64e..57a4d83a35 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,32 @@ pipeline {
     stage('Analysis') {
 
       parallel {
+        stage('catkin') {
+          agent {
+            docker {
+              image 'px4io/px4-dev-ros:2018-09-24'
+              args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw -e HOME=$WORKSPACE'
+            }
+          }
+
+          steps {
+            sh 'ls -l'
+            sh '''#!/bin/bash -l
+              echo $0;
+              mkdir -p catkin_ws/src;
+              cp -R . catkin_ws/src/Firmware
+              cd catkin_ws;
+              source /opt/ros/melodic/setup.bash;
+              catkin init;
+              source devel/setup.bash;
+              catkin build -j$(nproc) -l$(nproc);
+            '''
+            sh 'rm -rf catkin_ws'
+          }
+          options {
+            checkoutToSubdirectory('catkin_ws/src/Firmware')
+          }
+        }
 
         stage('Style Check') {
           agent {