O postgresql-dev sai das três imagens depois de compilar o driver (#391)

[matbrgz]

Closes #391.

A primeira pergunta da issue: o juiz precisa do driver?

Precisa. O serviço autojudge do docker-compose.yml roda autojudge:start, que busca as runs pendentes direto no banco (depends_on: db). Quem hospeda em PostgreSQL precisa do pdo_pgsql no juiz. A saída (3) da issue — "conferir se o juiz precisa de pdo_pgsql de todo" — quebraria essa instalação. O que sai é o cabeçalho, não o driver.

A mudança

Nas três imagens:

• a lista de infraestrutura instala libpq (runtime) em vez de postgresql-dev;
• o passo das extensões instala o postgresql-dev como --virtual .pgsql-build e o remove no mesmo RUN. Remover num RUN seguinte não economizaria nada: a camada que o instalou continuaria na imagem, com o LLVM dentro.

É a saída (1) da issue.

Medido

Sobre a base real, php:8.3-cli-alpine (Alpine 3.24.2):

Perfil	Antes	Depois	O que sai
corta o Clang (ex.: maratona)	+446 MiB	+0 MiB	clang22, llvm22, llvm22-libs, clang22-libs
completo	+446 MiB	+306 MiB	llvm22 (as ferramentas); o clang22 fica

apk del só remove o que nada mais exige. No perfil que oferece Clang o clang22 está em /etc/apk/world e sobrevive — que é o correto.

Conferido no contêiner, e não suposto

• o driver funciona: pdo_pgsql compila, aparece em php -m, e libpq.so.5 => /usr/lib/libpq.so.5. Um new PDO("pgsql:...") contra uma porta fechada devolve Connection refused — erro de conexão, não "could not find driver";
• o Clang continua julgando sem o llvm22: os comandos exatos do catálogo compilam, linkam estático e rodam:

  c_clang17  clang   -static -O2 -std=c17   ... -lm   ->  3 4  => 7
  cpp_clang  clang++ -static -O2 -std=c++20 ...       ->  5 6  => 11
  

• o que vem depois da remoção ainda constrói: pecl install redis e pecl install pcov rodam depois do apk del nas imagens, e poderiam depender dos openssl-dev/lz4-dev/zstd-dev que o grupo leva embora. Replicada a sequência inteira: os dois constroem e carregam.

A guarda

tests/Unit/Judge/PostgresqlDevSoNaCompilacaoTest.php, nas três imagens, lendo o Dockerfile na granularidade de instrução (continuações juntadas, comentários fora — o que o Docker faz antes de executar):

1. postgresql-dev só como --virtual, removido no mesmo RUN;
2. o libpq continua num apk add persistente — senão o driver compila e não carrega;
3. o pdo_pgsql continua sendo compilado — o conserto não pode virar "tirar o driver".

Mutação, uma por guarda, contra o Dockerfile.judge:

tiro o `apk del`                       -> Failures: 1
devolvo o `postgresql-dev` à lista     -> Failures: 1
tiro o `libpq`                         -> Failures: 1
tiro o `pdo_pgsql` da compilação       -> Failures: 1
restaurado                             -> OK (9 tests)

tests/Unit e tests/Feature: 1886 testes, verdes.

O que a medição não cobre

• As medições são sobre a base com os pacotes relevantes, não sobre a imagem inteira. O número real de cada imagem é o que o job do juiz vai construir — a economia do completo pode diferir se algum outro pacote da lista também exigir o llvm22.
• A afirmação "no perfil maratona o Clang some" se apoia no apk info -r clang22 que a issue mediu na imagem real (só o postgresql18-dev o exige) e na reprodução acima. O CI constrói o perfil completo, então essa parte não é conferida pelo job.

docs/specs/306-perfis-de-toolchain.md ganhou a nota de resolução no parágrafo que tinha registrado o achado e o mandado para cá.

🤖 Generated with Claude Code