diff options
Diffstat (limited to '2/Containerfile')
| -rw-r--r-- | 2/Containerfile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/2/Containerfile b/2/Containerfile new file mode 100644 index 0000000..cc368d8 --- /dev/null +++ b/2/Containerfile @@ -0,0 +1,13 @@ +from docker.io/library/debian:sid + +run apt-get update + +# packages (in separate steps to optimize caching) +run apt-get install -y gcc-arm-linux-gnueabi +run apt-get install -y gcc +run apt-get install -y make +run apt-get install -y git + +# container directory on which the working directory on host is mounted +workdir /workdir + |