From b0220d978a8fbfd226c93d5dfc497ba722e15853 Mon Sep 17 00:00:00 2001 From: Sergey Zakharchenko Date: Mon, 17 Oct 2022 09:33:09 +0000 Subject: [PATCH] add convenience Dockerfile --- Dockerfile | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..350aacb --- /dev/null +++ b/Dockerfile @@ -0,0 +1,24 @@ +ARG BASE_IMAGE=ubuntu:20.04 + +FROM ${BASE_IMAGE} AS builder + +WORKDIR /build + +ARG BUILD_PACKAGES='\ + git \ + g++ \ + make \ + libdw-dev \ + libunwind-dev \ + libiberty-dev \ +' + +RUN apt-get update -qq && \ + DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends $BUILD_PACKAGES + +COPY ./include ./include +COPY ./src ./src +COPY ./tests ./tests +COPY Makefile Makefile + +RUN make all