diff options
Diffstat (limited to 'docker/Dockerfile')
-rw-r--r-- | docker/Dockerfile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile new file mode 100644 index 0000000..b29d966 --- /dev/null +++ b/docker/Dockerfile @@ -0,0 +1,24 @@ +FROM ubuntu + +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 |