From 5f68f0d08ab1effd0fae8a00bdda46dbc788d9db Mon Sep 17 00:00:00 2001
From: Philipp Ebensberger <philipp.ebensberger@3bricks-software.de>
Date: Sat, 24 Apr 2021 21:34:07 +0200
Subject: [PATCH] github/workflows: Add CI workflow for mimxrt port.

---
 .github/workflows/ports_mimxrt.yml | 23 +++++++++++++++++++++++
 tools/ci.sh                        | 13 +++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 .github/workflows/ports_mimxrt.yml

diff --git a/.github/workflows/ports_mimxrt.yml b/.github/workflows/ports_mimxrt.yml
new file mode 100644
index 0000000000..8fbc2209e4
--- /dev/null
+++ b/.github/workflows/ports_mimxrt.yml
@@ -0,0 +1,23 @@
+name: mimxrt port
+
+on:
+  push:
+  pull_request:
+    paths:
+      - '.github/workflows/*.yml'
+      - 'tools/**'
+      - 'py/**'
+      - 'extmod/**'
+      - 'lib/**'
+      - 'drivers/**'
+      - 'ports/mimxrt/**'
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    steps:
+    - uses: actions/checkout@v2
+    - name: Install packages
+      run: source tools/ci.sh && ci_mimxrt_setup
+    - name: Build
+      run: source tools/ci.sh && ci_mimxrt_build
diff --git a/tools/ci.sh b/tools/ci.sh
index 7b38ce0df0..df812141f5 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -138,6 +138,19 @@ function ci_esp8266_build {
     make ${MAKEOPTS} -C ports/esp8266 BOARD=GENERIC_1M
 }
 
+########################################################################################
+# ports/mimxrt
+
+function ci_mimxrt_setup {
+    ci_gcc_arm_setup
+}
+
+function ci_mimxrt_build {
+    make ${MAKEOPTS} -C ports/mimxrt submodules
+    make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1020_EVK
+    make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40
+}
+
 ########################################################################################
 # ports/nrf