Skip to content

docker: bring Dockerfile in line with Alpine 3.23 / GHC 9.12.4 CI#57

Merged
ccomb merged 1 commit into
mainfrom
docker/bump-alpine-3.23
May 16, 2026
Merged

docker: bring Dockerfile in line with Alpine 3.23 / GHC 9.12.4 CI#57
ccomb merged 1 commit into
mainfrom
docker/bump-alpine-3.23

Conversation

@ccomb
Copy link
Copy Markdown
Owner

@ccomb ccomb commented May 16, 2026

Summary

  • PR ci: bump GHC 9.12.4 + unify Linux on Alpine 3.23/musl #52 unified CI on Alpine 3.23 + GHC 9.12.4 but left docker/Dockerfile on alpine:3.19. That combination is now broken end-to-end:
    • ghcup install ghc 9.12.4 has no alpine3_19 bindist; the alpine3_20 fallback fails at gmake install on a 3.19 base.
    • Bumping the base to 3.23 surfaces a second issue: Alpine 3.23 split the static libgmp.a out into its own gmp-static package, so the final static link fails with cannot find -lgmp unless we add it explicitly.
  • Both build and runtime stages move to alpine:3.23 (matches CI) and the build stage gains gmp-static alongside the other *-static packages.

Test plan

  • docker build -f docker/Dockerfile -t volca . completes end-to-end on Linux/amd64
  • Resulting image runs (docker run --rm volca --help) and reports the expected version
  • volca-deploy's volca/docker-build.sh --with-frontend overlay build no longer trips on the missing /data/ bundled snapshot

PR #52 unified CI on Alpine 3.23 + GHC 9.12.4 but left docker/Dockerfile
on alpine:3.19. That combination is now broken end-to-end:

- ghcup install ghc 9.12.4 has no alpine3_19 bindist; the alpine3_20
  fallback fails at `gmake install` on a 3.19 base.
- Bumping the base to 3.23 surfaces a second issue: Alpine 3.23 split the
  static libgmp out into its own `gmp-static` package, so the final
  static link fails with `cannot find -lgmp` unless we add it explicitly.

Both build and runtime stages move to alpine:3.23 (matches CI) and the
build stage gains gmp-static alongside the other *-static packages.
@ccomb ccomb merged commit a0aefd9 into main May 16, 2026
4 checks passed
@ccomb ccomb deleted the docker/bump-alpine-3.23 branch May 16, 2026 07:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant