From f8081d7829d4d97488f77f4cd1281b6ef07d0c99 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Sun, 12 May 2019 22:10:19 +0200 Subject: [PATCH] Create Dockerfile --- .azure/Dockerfile | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 .azure/Dockerfile diff --git a/.azure/Dockerfile b/.azure/Dockerfile new file mode 100644 index 000000000..228bf3a97 --- /dev/null +++ b/.azure/Dockerfile @@ -0,0 +1,23 @@ +FROM ubuntu:18.04 + +# Set shell +SHELL ["/bin/bash", "-o", "pipefail", "-c"] + +# Docker +RUN apt-get update && apt-get install -y --no-install-recommends \ + apt-transport-https \ + ca-certificates \ + curl \ + gpg-agent \ + software-properties-common \ + && curl -fsSL https://download.docker.com/linux/ubuntu/gpg | apt-key add - \ + && add-apt-repository "deb https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable" \ + && apt-get update && apt-get install -y --no-install-recommends \ + docker-ce \ + && rm -rf /var/lib/apt/lists/* + +# Build Tools +RUN apt-get update && apt-get install -y --no-install-recommends \ + wget patch vim cpio python unzip rsync bc bzip2 ncurses-dev sudo \ + git make g++ file perl bash binutils locales qemu-utils bison flex \ + && rm -rf /var/lib/apt/lists/*