micropython: Add MicroPython build container.

Signed-off-by: Anson Mansfield <[email protected]>

Author: AJMansfield

.github/workflows/build.yml

@@ -24,6 +24,7 @@ jobs:
         - rust-linux
         - vast
         - mads
+        - micropython
         - nix
         - bloaty
         - lfortran

Dockerfile.micropython

@@ -0,0 +1,19 @@
+FROM ubuntu:20.04
+
+ARG DEBIAN_FRONTEND=noninteractive
+RUN apt-get update -y -q && apt-get upgrade -y -q && apt-get update -y -q && \
+    apt-get install -y -q \
+    python3 \
+    build-essential \
+    libreadline-dev \
+    libffi-dev \
+    git \
+    pkg-config \
+    gcc-arm-none-eabi \
+    libnewlib-arm-none-eabi
+
+RUN mkdir -p /root
+COPY micropython /root/
+COPY common.sh /root/
+
+WORKDIR /root

micropython/build.sh

@@ -0,0 +1,39 @@
+#!/bin/bash
+
+set -ex
+source common.sh
+
+VERSION=$1
+
+URL=https://github.com/micropython/micropython.git
+REPO=micropython
+FULLNAME=micropython-${VERSION}.tar.xz
+OUTPUT=$2/${FULLNAME}
+
+REVISION="micropython-${VERSION}"
+LAST_REVISION="${3:-}"
+
+DEST="/opt/compiler-explorer/${REVISION}"
+
+initialise "${REVISION}" "${OUTPUT}" "${LAST_REVISION}"
+
+if [[ $VERSION == 'preview' ]]; then
+    git clone --depth 1 "${URL}" "${REPO}"
+else
+    git clone --depth 1 "${URL}" -b "v${VERSION}" "${REPO}"
+fi;
+
+(
+    cd "${REPO}"
+    set +u
+    source tools/ci.sh
+    ci_unix_standard_build
+)
+
+mkdir -p "${DEST}" "${DEST}/bin" "${DEST}/tools" "${DEST}/py"
+cp "${REPO}/mpy-cross/build/mpy-cross" "${DEST}/bin/mpy-cross"
+cp "${REPO}/ports/unix/build-standard/micropython" "${DEST}/bin/micropython"
+cp "${REPO}/tools/mpy-tool.py" "${DEST}/tools/mpy-tool.py"
+cp "${REPO}/py/makeqstrdata.py" "${DEST}/py/makeqstrdata.py"
+
+complete "${DEST}" "${FULLNAME}" "${OUTPUT}"