From e12066c59846ee4909bcdfcd27b9ed6ba046ed33 Mon Sep 17 00:00:00 2001
From: Romain Ruetschi <romain.ruetschi@gmail.com>
Date: Wed, 13 Nov 2019 15:22:00 +0100
Subject: [PATCH] Update Docker packaging script

---
 Dockerfile            | 6 ++++--
 bin/docker-release.sh | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 5f6bab4a2d..8ab146aacf 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,12 +1,14 @@
 FROM openjdk:8u222-jre-slim-buster
 
-ARG STAINLESS_VERSION
-
 WORKDIR /app
 
 RUN apt-get update && apt-get install -y wget unzip libgomp1
 
+ARG STAINLESS_VERSION
+
+RUN echo "Fetching https://github.com/epfl-lara/stainless/releases/download/v$STAINLESS_VERSION/stainless-scalac-standalone-$STAINLESS_VERSION-linux.zip"
 RUN wget --quiet https://github.com/epfl-lara/stainless/releases/download/v$STAINLESS_VERSION/stainless-scalac-standalone-$STAINLESS_VERSION-linux.zip
+RUN echo "Unzipping stainless-scalac-standalone-$STAINLESS_VERSION-linux.zip"
 RUN unzip stainless-scalac-standalone-$STAINLESS_VERSION-linux.zip && rm -f stainless-scalac-standalone-$STAINLESS_VERSION-linux.zip
 
 ENTRYPOINT ["/app/stainless"]
diff --git a/bin/docker-release.sh b/bin/docker-release.sh
index b6371d8473..2ab4c449c1 100755
--- a/bin/docker-release.sh
+++ b/bin/docker-release.sh
@@ -16,7 +16,7 @@ echo "Press ENTER to continue, or Ctrl-C to abort..."
 read tmp
 
 echo "Building Docker image 'stainless:$STAINLESS_VERSION'..."
-docker build --build-arg "STAINLESS_VERSION=$STAINLESS_VERSION" -t "stainless:$STAINLESS_VERSION"
+docker build --build-arg "STAINLESS_VERSION=$STAINLESS_VERSION" -t "stainless:$STAINLESS_VERSION" .
 
 echo "Tagging Docker image 'stainless:latest'..."
 docker tag stainless:$STAINLESS_VERSION stainless:latest