diff options
| author | JF002 <JF002@users.noreply.github.com> | 2021-01-13 20:35:51 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 20:35:51 (GMT) |
| commit | 5d39cd0a6ea6670fd182544e0bae3807da880bc1 (patch) | |
| tree | 8dfd60e29e8cf7b185cb8db82056302954c3b92c | |
| parent | 50ae0ae5e073ac48652e6c26549f9b19655e8da3 (diff) | |
| parent | cf187d342c4c16c6578e3244b164e649d588e45c (diff) | |
Merge pull request #150 from Nuxij/gitpod-config
Custom Dockerfile for gitpod.io
| -rw-r--r-- | .gitpod.yml | 18 | ||||
| -rw-r--r-- | docker/.gitpod.Dockerfile | 39 |
2 files changed, 57 insertions, 0 deletions
diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 0000000..0af6dce --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,18 @@ +image: + file: docker/.gitpod.Dockerfile +github: + prebuilds: + # enable for the master/default branch (defaults to true) + master: true + # enable for all branches in this repo (defaults to false) + branches: false + # enable for pull requests coming from this repo (defaults to true) + pullRequests: false + # enable for pull requests coming from forks (defaults to false) + pullRequestsFromForks: false + # add a "Review in Gitpod" button as a comment to pull requests (defaults to true) + addComment: true + # add a "Review in Gitpod" button to pull requests (defaults to false) + addBadge: false + # add a label once the prebuild is ready to pull requests (defaults to false) + addLabel: false #prebuilt-in-gitpod
\ No newline at end of file diff --git a/docker/.gitpod.Dockerfile b/docker/.gitpod.Dockerfile new file mode 100644 index 0000000..71bf479 --- /dev/null +++ b/docker/.gitpod.Dockerfile @@ -0,0 +1,39 @@ +FROM gitpod/workspace-full + +USER root +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 + +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 ln -s /workspace/Pinetime /sources + +USER gitpod
\ No newline at end of file |
