3588d14ae6
Signed-off-by: Damien George <damien@micropython.org>
91 lines
2.6 KiB
Bash
Executable File
91 lines
2.6 KiB
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Build firmware for ports.
|
|
#
|
|
# Requirements:
|
|
# - All toolchains must be in path (arm-none-eabi-gcc, xtensa-lx106-elf)
|
|
# - IDF_PATH_V4 must be set
|
|
# - MICROPY_AUTOBUILD_MICROPYTHON_REPO must be set to location of micropython repository
|
|
# - MICROPY_AUTOBUILD_MAKE must be set to the make command to use, eg "make -j2"
|
|
#
|
|
# Optional settings:
|
|
# - MICROPY_AUTOBUILD_REMOTE_MACHINE can be set to a remote ssh machine to copy files to
|
|
# - MICROPY_AUTOBUILD_REMOTE_DIR can be set to destination directory on remote machine
|
|
|
|
if [ ! -d "$IDF_PATH_V4" ]; then
|
|
echo "must set IDF_PATH_V4"
|
|
exit 1
|
|
fi
|
|
|
|
if [ ! -d "$MICROPY_AUTOBUILD_MICROPYTHON_REPO" ]; then
|
|
echo "must set MICROPY_AUTOBUILD_MICROPYTHON_REPO"
|
|
exit 1
|
|
fi
|
|
|
|
if [ -z "$MICROPY_AUTOBUILD_MAKE" ]; then
|
|
echo "must set MICROPY_AUTOBUILD_MAKE"
|
|
exit 1
|
|
fi
|
|
|
|
########################################
|
|
# Initialisation
|
|
|
|
# get directory of this script for access to other build scripts
|
|
AUTODIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
|
|
|
# make local directory to put firmware
|
|
LOCAL_FIRMWARE=/tmp/autobuild-firmware-$$
|
|
mkdir -p ${LOCAL_FIRMWARE}
|
|
|
|
# get latest MicroPython
|
|
git -C ${MICROPY_AUTOBUILD_MICROPYTHON_REPO} pull
|
|
git -C ${MICROPY_AUTOBUILD_MICROPYTHON_REPO} submodule update --init
|
|
git -C ${MICROPY_AUTOBUILD_MICROPYTHON_REPO}/lib/pico-sdk submodule update --init
|
|
|
|
########################################
|
|
# Build all firmware
|
|
|
|
pushd ${MICROPY_AUTOBUILD_MICROPYTHON_REPO}
|
|
|
|
# build cross compiler
|
|
make -C mpy-cross
|
|
|
|
# make the firmware tag
|
|
FW_DATE=$(date '+%Y%m%d')
|
|
FW_GIT="$(git describe --dirty || echo unknown)"
|
|
FW_TAG="-$FW_DATE-unstable-$FW_GIT"
|
|
|
|
# build new firmware
|
|
cd ports/stm32
|
|
${AUTODIR}/build-stm32-latest.sh ${FW_TAG} ${LOCAL_FIRMWARE}
|
|
cd ../cc3200
|
|
${AUTODIR}/build-cc3200-latest.sh ${FW_TAG} ${LOCAL_FIRMWARE}
|
|
cd ../esp8266
|
|
${AUTODIR}/build-esp8266-latest.sh ${FW_TAG} ${LOCAL_FIRMWARE}
|
|
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}
|
|
|
|
popd
|
|
|
|
########################################
|
|
# Copy firmware to remote machine
|
|
|
|
if [ -z "$MICROPY_AUTOBUILD_REMOTE_MACHINE" -o -z "$MICROPY_AUTOBUILD_REMOTE_DIR" ]; then
|
|
echo "No remote given, leaving firmware in ${LOCAL_FIRMWARE}"
|
|
exit 0
|
|
fi
|
|
|
|
# copy new firmware to remote machine
|
|
scp ${LOCAL_FIRMWARE}/* ${MICROPY_AUTOBUILD_REMOTE_MACHINE}:${MICROPY_AUTOBUILD_REMOTE_DIR}/
|
|
|
|
# remove old firmware
|
|
${AUTODIR}/remove_old_firmware.py ${MICROPY_AUTOBUILD_REMOTE_MACHINE} ${MICROPY_AUTOBUILD_REMOTE_DIR}
|
|
|
|
########################################
|
|
# Clean up
|
|
|
|
/bin/rm -v ${LOCAL_FIRMWARE}/*
|
|
/bin/rmdir ${LOCAL_FIRMWARE}
|