mirror of
https://github.com/espruino/Espruino.git
synced 2025-12-08 19:06:15 +00:00
13 lines
251 B
Docker
13 lines
251 B
Docker
FROM ubuntu:14.04
|
|
|
|
RUN git clone https://github.com/espruino/Espruino espruino
|
|
WORKDIR /espruino
|
|
|
|
# Change these to provision and compile for a different board
|
|
RUN source scripts/provision.sh PICO_R1_3
|
|
ENV BOARD PICO_R1_3
|
|
|
|
ENV RELEASE 1
|
|
|
|
CMD ["make"]
|