tools/autobuild: Add mimxrt port to build scripts for nightly builds.

The firmware for Teensy 4.0, Teensy 4.1 and MIMXRT1020_EVK are created.
Users of other MIMXRT10xx_EVK boards should be able to build the firmware
themselves, they might need specific DEBUG settings.

The Makefile had to be changed in order to build the .bin file as well.

ports/mimxrt/Makefile

@@ -297,7 +297,7 @@ OBJ += $(BUILD)/pins_gen.o
 # Workaround for bug in older gcc, warning on "static usbd_device_t _usbd_dev = { 0 };"
 $(BUILD)/lib/tinyusb/src/device/usbd.o: CFLAGS += -Wno-missing-braces
 
-all: $(BUILD)/firmware.hex
+all: $(BUILD)/firmware.hex $(BUILD)/firmware.bin
 
 $(BUILD)/firmware.elf: $(OBJ)
 	$(ECHO) "LINK $@"

tools/autobuild/autobuild.sh

@@ -66,6 +66,8 @@ cd ../esp32
 ${AUTODIR}/build-esp32-latest.sh ${IDF_PATH_V4} ${FW_TAG} ${LOCAL_FIRMWARE}
 cd ../rp2
 ${AUTODIR}/build-rp2-latest.sh ${FW_TAG} ${LOCAL_FIRMWARE}
+cd ../mimxrt
+${AUTODIR}/build-mimxrt-latest.sh ${FW_TAG} ${LOCAL_FIRMWARE}
 
 popd
 

tools/autobuild/build-mimxrt-latest.sh

+#!/bin/bash
+
+# function for building firmware
+function do_build() {
+    descr=$1
+    board=$2
+    ext=$3
+    shift
+    shift
+    shift
+    echo "building $descr $board"
+    build_dir=/tmp/mimxrt-build-$board
+    $MICROPY_AUTOBUILD_MAKE $@ BOARD=$board BUILD=$build_dir || exit 1
+    mv $build_dir/firmware.$ext $dest_dir/$descr$fw_tag.$ext
+    rm -rf $build_dir
+}
+
+# check/get parameters
+if [ $# != 2 ]; then
+    echo "usage: $0 <fw-tag> <dest-dir>"
+    exit 1
+fi
+
+fw_tag=$1
+dest_dir=$2
+
+# check we are in the correct directory
+if [ ! -r modmimxrt.c ]; then
+    echo "must be in mimxrt directory"
+    exit 1
+fi
+
+# build the boards
+do_build TEENSY40 TEENSY40 hex
+do_build TEENSY41 TEENSY41 hex
+do_build MIMXRT1020_EVK MIMXRT1020_EVK bin