mirror of
https://github.com/espruino/Espruino.git
synced 2025-12-08 19:06:15 +00:00
20 lines
606 B
Docker
20 lines
606 B
Docker
FROM ubuntu:14.04
|
|
|
|
RUN apt-get update && apt-get install -y software-properties-common && apt-get update \
|
|
&& add-apt-repository ppa:terry.guo/gcc-arm-embedded \
|
|
&& apt-get update \
|
|
&& apt-get install -y git gcc-arm-none-eabi build-essential python
|
|
|
|
RUN git clone https://github.com/espruino/Espruino espruino
|
|
WORKDIR /espruino
|
|
|
|
# If compiling for a non-linux target that has internet support, use WIZnet support, not TI CC3000
|
|
#ENV WIZNET=1
|
|
# If compiling for a non-linux target that has internet support, use ESP8266 support, not TI CC3000
|
|
#ENV ESP8266 1
|
|
|
|
ENV RELEASE 1
|
|
#ENV PICO_1V3 1
|
|
|
|
CMD ["make"]
|