From 388c6d0b7e9d7ff135c453067469a2bd3af77ae8 Mon Sep 17 00:00:00 2001
From: Alex Lewontin <alex.c.lewontin@gmail.com>
Date: Sat, 5 Dec 2020 17:09:51 -0500
Subject: [PATCH] NUMICRO Jenkins integration

---
 Jenkinsfile         | 29 +++++++++++++++++++++++++++++
 demos/NUMICRO/.keep |  0
 2 files changed, 29 insertions(+)
 create mode 100644 demos/NUMICRO/.keep

diff --git a/Jenkinsfile b/Jenkinsfile
index 2b96d492..0df50fcd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -173,6 +173,35 @@ for i in *.7z; do 7z x -y $i; done'''
             sh '''export CH_PATH=$WORKSPACE/ChibiOS
 export CHC_PATH=$WORKSPACE
 ./tools/chbuild.sh ./demos/LPC/
+'''
+          }
+        }
+        stage('Build NUMICRO') {
+          agent {
+            docker {
+              image 'fpoussin/jenkins:ubuntu-18.04-chibios'
+            }
+
+          }
+          steps {
+            sh '''arm-none-eabi-gcc -v
+cd $WORKSPACE/ext
+for i in *.7z; do 7z x -y $i; done
+cd $WORKSPACE
+rm -rf $CH_PATH
+git clone /var/lib/git/ChibiOS $CH_PATH
+cd $CH_PATH
+git remote set-url origin https://github.com/ChibiOS/ChibiOS.git
+git fetch --all
+git checkout -b $CH_BRANCH origin/$CH_BRANCH
+git pull --rebase origin $CH_BRANCH
+cd ext
+for i in *.7z; do 7z x -y $i; done'''
+            sh '''export CH_PATH=$WORKSPACE/ChibiOS
+export CHC_PATH=$WORKSPACE
+
+./tools/chbuild.sh ./testhal/NUMICRO/
+./tools/chbuild.sh ./demos/NUMICRO/
 '''
           }
         }
diff --git a/demos/NUMICRO/.keep b/demos/NUMICRO/.keep
new file mode 100644
index 00000000..e69de29b