diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 19 | ||||
| -rwxr-xr-x | docker/build.sh | 9 |
2 files changed, 28 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile new file mode 100644 index 0000000..0646e13 --- /dev/null +++ b/docker/Dockerfile @@ -0,0 +1,19 @@ +# Copyright (c) 2020 Johannes Stoelp +FROM ubuntu:20.04 + +RUN apt update \ + && DEBIAN_FRONTEND=noninteractive \ + apt install -y \ + git \ + make \ + gcc \ + g++ \ + gcc-aarch64-linux-gnu \ + g++-aarch64-linux-gnu \ + gdb-multiarch \ + qemu-user \ + neovim \ + && rm -rf /var/lib/apt/lists/* \ + && apt-get clean + +WORKDIR /develop diff --git a/docker/build.sh b/docker/build.sh new file mode 100755 index 0000000..bfbdd4b --- /dev/null +++ b/docker/build.sh @@ -0,0 +1,9 @@ +#!/bin/bash +# Copyright (c) 2020 Johannes Stoelp + +if ! docker build -t matcha-box . ; then + echo "ERR: Failed to build docker image!" + exit 1 +fi + +exit 0 |