1 files changed, 21 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 00000000..af85ee8d
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,21 @@
+FROM gcc:8.3.0
+
+RUN apt-get update && apt-get install -y --no-install-recommends \
+    automake \
+    bison \
+    clang \
+    flex \
+    gcc-8-plugin-dev \
+    libc++-7-dev \
+    libtool \
+    libtool-bin \
+    llvm-7-tools \
+    python-setuptools \
+    && rm -fr /var/lib/apt/lists/*
+RUN mkdir /app
+WORKDIR ["/app"]
+COPY . .
+ENV CC=gcc-8
+ENV CXX=g++-8
+ENV LLVM_CONFIG=llvm-config-7
+RUN make clean && make distrib && make tests