FROM debian:latest
RUN apt-get update
RUN apt-get install -y git python2.7 python-pip gcc-arm-none-eabi && \
    pip install mbed-cli
WORKDIR /arm
RUN mbed import https://github.com/ARMmbed/mbed-os-example-blinky && \
    cd mbed-os-example-blinky && \
    mbed compile -t GCC_ARM -m NUCLEO_F401RE && \
    rm main.cpp && \
    cd ..
COPY ./start.sh /arm
RUN chmod +x ./start.sh
ENTRYPOINT ./start.sh