diff --git a/.github/images.sh b/.github/images.sh index 003106c8a..c66f8d39c 100755 --- a/.github/images.sh +++ b/.github/images.sh @@ -1,18 +1,27 @@ #!/bin/sh +set -eu -# Stop in case of error -set -e +: "${TAG:?TAG must be set}" +: "${PKG:?PKG must be set}" + +# Download separately so a failed download stops the script. +DOCKERFILE=$(curl -fsSL \ + https://raw.githubusercontent.com/ghdl/docker/master/run_debian.dockerfile) docker build \ - --build-arg IMAGE="python:3-slim-bullseye" \ - --build-arg LLVM_VER=9 \ - --build-arg GNAT_VER=9 \ + --progress=plain \ + --build-arg IMAGE="python:3.13-slim-bookworm" \ + --build-arg LLVM_VER=14 \ + --build-arg GNAT_VER=12 \ --target vunit \ -t "vunit/dev/${TAG}" \ - - <<-EOF -$(curl -fsSL https://raw.githubusercontent.com/ghdl/docker/master/run_debian.dockerfile) + - <