diff options
Diffstat (limited to 'packaging/ubuntu-docker/Dockerfile')
| -rw-r--r-- | packaging/ubuntu-docker/Dockerfile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/packaging/ubuntu-docker/Dockerfile b/packaging/ubuntu-docker/Dockerfile index 779bd6e..7e463d0 100644 --- a/packaging/ubuntu-docker/Dockerfile +++ b/packaging/ubuntu-docker/Dockerfile @@ -33,7 +33,11 @@ RUN apt-get -y dist-upgrade # ADD "https://www.random.org/cgi-bin/randbyte?nbytes=10&format=h" skipcache COPY gnunet-build.sh /root/ RUN chmod +x /root/gnunet-build.sh -RUN /root/gnunet-build.sh v0.19.3-debian +RUN /root/gnunet-build.sh v0.19.3-debian-1 + +COPY gnunet-gtk-build.sh /root/ +RUN chmod +x /root/gnunet-gtk-build.sh +RUN /root/gnunet-gtk-build.sh v0.19.3-debian COPY libeufin-build.sh /root/ RUN chmod +x /root/libeufin-build.sh @@ -45,7 +49,7 @@ RUN /root/exchange-build.sh v0.9.2-debian-3 COPY merchant-build.sh /root/ RUN chmod +x /root/merchant-build.sh -RUN /root/merchant-build.sh v0.9.2-debian-4 +RUN /root/merchant-build.sh v0.9.2-debian-5 COPY sync-build.sh /root/ RUN chmod +x /root/sync-build.sh |