summaryrefslogtreecommitdiff
path: root/docker
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-23 19:20:09 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-23 19:20:09 +0100
commit622a7cc6d6cb5b032fc8c53721f3d0b249a55f96 (patch)
tree8f0d910fe1abfca0a62603a35c1789e908f2a077 /docker
parentb962f0cc36fff34feb828b7cf53ee656ab1b1b3f (diff)
downloaddeployment-622a7cc6d6cb5b032fc8c53721f3d0b249a55f96.tar.gz
deployment-622a7cc6d6cb5b032fc8c53721f3d0b249a55f96.tar.bz2
deployment-622a7cc6d6cb5b032fc8c53721f3d0b249a55f96.zip
--prefix for exchange container
Diffstat (limited to 'docker')
-rw-r--r--docker/exchange/Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/exchange/Dockerfile b/docker/exchange/Dockerfile
index 99c00ce..6e08c26 100644
--- a/docker/exchange/Dockerfile
+++ b/docker/exchange/Dockerfile
@@ -9,6 +9,7 @@ RUN ./bootstrap \
--with-libgnurl=/usr/local \
--with-microhttpd=/usr/local \
--with-gnunet=/usr/local \
+ --prefix=$HOME/local
&& make \
&& make install