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"