diff options
author | Joe Eaves <jinux@alluha.net> | 2020-12-21 01:54:22 +0000 |
---|---|---|
committer | Joe Eaves <joe.eaves@shadowacre.ltd> | 2021-01-05 00:34:15 +0000 |
commit | 0880d53a941d59605050f54e43a8ab6258247eaf (patch) | |
tree | 36ae21ba576989d6fc9e9170e0b870cb95587dd7 /docker | |
parent | 5cdd3f6e6f0abf439da0389b38ebc13bd30fc8e5 (diff) |
Custom Dockerfile for gitpod.io
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed
Diffstat (limited to 'docker')
-rw-r--r-- | docker/.gitpod.Dockerfile | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/docker/.gitpod.Dockerfile b/docker/.gitpod.Dockerfile new file mode 100644 index 00000000..ac7992e5 --- /dev/null +++ b/docker/.gitpod.Dockerfile @@ -0,0 +1,38 @@ +FROM gitpod/workspace-full + +ARG DEBIAN_FRONTEND=noninteractive +RUN apt-get update -qq \ + && apt-get install -y \ +# x86_64 / generic packages + bash \ + build-essential \ + cmake \ + git \ + make \ + python3 \ + python3-pip \ + tar \ + unzip \ + wget \ +# aarch64 packages + libffi-dev \ + libssl-dev \ + python3-dev \ + && rm -rf /var/cache/apt/* /var/lib/apt/lists/*; + +# Needs to be installed as root +RUN pip3 install adafruit-nrfutil + +RUN sudo chown -R gitpod /opt + +COPY docker/build.sh /opt/ +# Lets get each in a separate docker layer for better downloads +# GCC +RUN bash -c "source /opt/build.sh; GetGcc;" +# NrfSdk +RUN bash -c "source /opt/build.sh; GetNrfSdk;" +# McuBoot +RUN bash -c "source /opt/build.sh; GetMcuBoot;" + +# Link the default checkout workspace in to the default $SOURCES_DIR +RUN sudo ln -s /workspace/Pinetime /sources
\ No newline at end of file |