-
Notifications
You must be signed in to change notification settings - Fork 49
/
Dockerfile
15 lines (9 loc) · 683 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
FROM openjdk:8u222-jre-slim-buster
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"]