UHSDR/UHSDR-active-devel/Dockerfile
2022-11-08 16:13:55 +01:00

8 lines
359 B
Docker

FROM gitpod/workspace-full
# add your tools here
ARG GCC_BASE=gcc-arm-none-eabi-8-2019-q3-update
ARG GCC_SHORT=8-2019q3
ARG GCC_URL=https://armkeil.blob.core.windows.net/developer/Files/downloads/gnu-rm/${GCC_SHORT}/${GCC_BASE}-linux.tar.bz2
RUN mkdir -p /home/gitpod/.local && wget -q ${GCC_URL} -O - | tar xfj - -C /home/gitpod/.local --strip-components=1