diff options
Diffstat (limited to 'etc/docker/Dockerfile')
-rw-r--r-- | etc/docker/Dockerfile | 25 |
1 files changed, 25 insertions, 0 deletions
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 |