configuration

mikaelhg · Jul 29, 2022 · 5778193 · 5778193
1 parent a9f2509
commit 5778193
Showing 1 changed file with 9 additions and 1 deletion.
diff --git 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"