From c17d8624dbae513a66d14a244964172341123523 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 21 Apr 2020 11:21:03 +0200
Subject: Move docker directory to etc/

---
 etc/docker/Dockerfile | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 etc/docker/Dockerfile

(limited to 'etc/docker/Dockerfile')

diff --git a/etc/docker/Dockerfile b/etc/docker/Dockerfile
new file mode 100644
index 0000000..46abe85
--- /dev/null
+++ b/etc/docker/Dockerfile
@@ -0,0 +1,25 @@
+FROM ubuntu
+
+RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
+RUN apt-get update && apt-get install -y \
+  git \
+  mercurial \
+  subversion \
+  erlang \
+  build-essential \
+  autoconf \
+  automake \
+  curl \
+  python-sphinx \
+  asciidoc \
+  p7zip-full \
+  unzip
+
+COPY . /erlang.mk
+WORKDIR /erlang.mk
+
+# Run specific test-case with verbose output
+# RUN make check c=escript-deps V=4
+
+RUN make check -j 8 -k
+RUN make check LEGACY=1 -j 8 -k
-- 
cgit v1.2.3