diff options
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index e753c5b91..375c76c4b 100644 --- a/Dockerfile +++ b/Dockerfile | |||
@@ -44,6 +44,9 @@ RUN git clone https://github.com/schanzen/gnunet-webui.git | |||
44 | WORKDIR /usr/src/gnunet-webui | 44 | WORKDIR /usr/src/gnunet-webui |
45 | RUN git checkout gnuidentity | 45 | RUN git checkout gnuidentity |
46 | 46 | ||
47 | RUN mkdir /usr/src/gnunet | ||
48 | WORKDIR /usr/src/gnunet | ||
49 | ADD . . | ||
47 | RUN ./bootstrap | 50 | RUN ./bootstrap |
48 | RUN ./configure --prefix=/usr/local | 51 | RUN ./configure --prefix=/usr/local |
49 | RUN make | 52 | RUN make |