From 5778193ac613f7b8c66bb639828fd88b8538ee76 Mon Sep 17 00:00:00 2001
From: Mikael Gueck <gumi@iki.fi>
Date: Fri, 29 Jul 2022 16:08:24 +0300
Subject: [PATCH] configuration

---
 run.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/run.sh b/run.sh
index 5ed0b7e..6857b3a 100755
--- a/run.sh
+++ b/run.sh
@@ -1,5 +1,13 @@
 #!/bin/bash
 
+# Main entrypoint which does everything inside a Docker container
+
+GRAALVM_VERSION=${GRAALVM_VERSION:-'22.2.0'}
+PLANTUML_VERSION=${PLANTUML_VERSION:-'1.2022.6'}
+JLATEXMATH_VERSION=${JLATEXMATH_VERSION:-'1.0.7'}
+
 docker run -it --rm -w /build -v $PWD:/build/scripts:ro --entrypoint=/bin/bash \
-  ghcr.io/graalvm/graalvm-ce:22.2.0 \
+  -e PLANTUML_VERSION=${PLANTUML_VERSION} \
+  -e JLATEXMATH_VERSION=${JLATEXMATH_VERSION} \
+  ghcr.io/graalvm/graalvm-ce:${GRAALVM_VERSION} \
   -c "scripts/install.sh && scripts/download.sh && scripts/build.sh && scripts/test.sh"