Update Docker packaging script

epfl-lara · Nov 13, 2019 · e12066c · e12066c
1 parent 9aba8b7
commit e12066c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git 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
@@ -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