diff --git a/bin/micropython b/bin/micropython index 60afe37..3a2b595 100755 Binary files a/bin/micropython and b/bin/micropython differ diff --git a/tools/Dockerfile b/tools/Dockerfile index 56fa90d..e2ff9ac 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -1,23 +1,21 @@ -FROM ubuntu:latest +FROM ubuntu:20.04 ARG DEBIAN_FRONTEND=noninteractive RUN apt-get update && \ - apt-get install -y build-essential libffi-dev git pkg-config python python3 && \ + apt-get install -y build-essential libffi-dev git pkg-config 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 && \ + apt-get purge --auto-remove -y build-essential libffi-dev git pkg-config python3 && \ cd ../../.. && \ rm -rf micropython