From 6f48fcd9f127dc9b78f47960a2318407f4cd414c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gunter=20K=C3=B6nigsmann?= Date: Sat, 9 Apr 2022 13:22:25 +0200 Subject: [PATCH] Updated the wxMaxima version number. --- Dockerfile | 2 +- update_versions.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 2ab86be..d822496 100644 --- a/Dockerfile +++ b/Dockerfile @@ -63,7 +63,7 @@ RUN cd maxima-code && \ make -s -j 2&& \ make install -ENV wxmaxima_build Version-21.11.0 +ENV wxmaxima_build Version-22.04.0 RUN git clone https://github.com/wxMaxima-developers/wxmaxima.git && \ cd wxmaxima && \ diff --git a/update_versions.sh b/update_versions.sh index e74b906..9aef59b 100755 --- a/update_versions.sh +++ b/update_versions.sh @@ -1,7 +1,7 @@ #!/bin/sh maxima_build='tags\/5.45.1' -wxmaxima_build='Version-21.11.0' +wxmaxima_build='Version-22.04.0' sed -i -e "s/ENV maxima_build .*/ENV maxima_build $maxima_build/" Dockerfile sed -i -e "s/ENV wxmaxima_build .*/ENV wxmaxima_build $wxmaxima_build/" Dockerfile