diff options
| author | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-10-25 14:12:54 +0200 |
|---|---|---|
| committer | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-10-25 14:12:54 +0200 |
| commit | 6f902e916af6ed95f6966ecdf3a6f478c157e569 (patch) | |
| tree | d4d09f4271e860a0aa004dde929905d4402fa97a /Dockerfile | |
| parent | abce261f08edee5fe8d49da9dbb4512a7e3052c6 (diff) | |
| download | gnunet-6f902e916af6ed95f6966ecdf3a6f478c157e569.tar.gz gnunet-6f902e916af6ed95f6966ecdf3a6f478c157e569.zip | |
-fix docker
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 |