Parameterise on version.

Author: athas

repl/Dockerfile

@@ -2,13 +2,15 @@ FROM debian:11
 
 WORKDIR /
 
+ARG VERSION=nightly
+
 ENV PORT=8080
 RUN apt update && apt install -y libtinfo-dev libgmp-dev zlib1g-dev python pip wget
 RUN python3 -m pip install --upgrade pip
 RUN python3 -m pip install --no-cache-dir waitress
-RUN wget https://futhark-lang.org/releases/futhark-nightly-linux-x86_64.tar.xz
-RUN tar xvf futhark-nightly-linux-x86_64.tar.xz
-RUN cd futhark-nightly-linux-x86_64 && make install
+RUN wget https://futhark-lang.org/releases/futhark-$VERSION-linux-x86_64.tar.xz
+RUN tar xvf futhark-$VERSION-linux-x86_64.tar.xz
+RUN cd futhark-$VERSION-linux-x86_64 && make install
 COPY . .
 RUN python3 -m pip install --no-cache-dir -r requirements.txt
 EXPOSE ${PORT}

run.sh

@@ -1,9 +1,10 @@
 DEFAULTPORT=8080
 PORT=$1
+VERSION=0.25.1
 if [ -z "$PORT" ]; then
     PORT=$DEFAULTPORT
 fi
 
 echo "PORT: $PORT"
-sudo docker build -t online-futhark-repl repl
+sudo docker build --build-arg VERSION=${VERSION} -t online-futhark-repl repl
 sudo docker run -p $PORT:$PORT online-futhark-repl --host=0.0.0.0 --port=${PORT} --url-scheme=https --threads=4 views:app