blob: 65d3910430ed435753a29eabee4dd16c0265e80a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
FROM docker.pkg.github.com/erlang/otp/ubuntu-base
ARG MAKEFLAGS=-j4
ENV MAKEFLAGS=$MAKEFLAGS \
ERLC_USE_SERVER=yes \
ERL_TOP=/buildroot/otp \
PATH=/buildroot/otp/bin:$PATH
ARG ARCHIVE=./otp.tar.gz
COPY $ARCHIVE /buildroot/otp.tar.gz
RUN cd /buildroot && tar -xzf ./otp.tar.gz
WORKDIR /buildroot/otp/
## We don't build pdf in order to save some time
ENV RELEASE_ROOT=/otp DOC_TARGETS="html man chunks"
RUN ./configure --prefix=/otp && make && make release
RUN ./configure && make && make release
RUN make docs release_docs
ENTRYPOINT ["bash","-c"]
|
