diff --git a/bin/micropython b/bin/micropython index 91b3b94..60afe37 100755 Binary files a/bin/micropython and b/bin/micropython differ diff --git a/tools/Dockerfile b/tools/Dockerfile new file mode 100644 index 0000000..56fa90d --- /dev/null +++ b/tools/Dockerfile @@ -0,0 +1,25 @@ +FROM ubuntu:latest + +ARG DEBIAN_FRONTEND=noninteractive + +RUN apt-get update && \ + apt-get install -y build-essential libffi-dev git pkg-config python python3 && \ + rm -rf /var/lib/apt/lists/* && \ + git clone https://github.com/micropython/micropython.git && \ + cd micropython && \ + git checkout v1.15 && \ + git submodule update --init && \ + cd mpy-cross && \ + make && \ + cd .. && \ + cd ports/unix && \ + make axtls && \ + make && \ + make test && \ + make install && \ + apt-get purge --auto-remove -y build-essential libffi-dev git pkg-config python python3 && \ + cd ../../.. && \ + rm -rf micropython + +CMD ["/usr/local/bin/micropython"] + diff --git a/tools/update-micropython.sh b/tools/update-micropython.sh new file mode 100755 index 0000000..c8e63fe --- /dev/null +++ b/tools/update-micropython.sh @@ -0,0 +1,6 @@ +# this script updates the micropython binary in the /bin directory that is +# used to run unit tests under GitHub Actions builds +docker build -t micropython . +docker create -it --name dummy-micropython micropython +docker cp dummy-micropython:/usr/local/bin/micropython ../bin/micropython +docker rm dummy-micropython