Dockerfile

# SPDX-License-Identifier: GPL-3.0-only

# ── Stage 1: Builder ──────────────────────────────────────────────────────────
FROM rust:1.82-slim-bookworm AS builder

RUN apt-get update && apt-get install -y --no-install-recommends \
    cmake make git curl ca-certificates \
    && rm -rf /var/lib/apt/lists/*

RUN curl -sL https://github.com/xd009642/tarpaulin/releases/download/0.31.3/cargo-tarpaulin-x86_64-unknown-linux-musl.tar.gz | tar -xz -C /usr/local/cargo/bin

WORKDIR /build
COPY Cargo.toml Cargo.lock* ./
COPY clippy.toml deny.toml cbindgen.toml ./
#adicionei os copy pedido 
COPY rust-toolchain.toml ./
COPY rust/ ./rust/
COPY build.rs ./



RUN cargo fetch
RUN mkdir -p include && cargo build --release



# ── Stage 2: Test + Coverage ──────────────────────────────────────────────────
FROM builder AS test

COPY test/ ./test/
# Os testes leem os goldens do runtime C, os docs de compatibilidade, o
# CHANGELOG, o mapa de ABI e o próprio Dockerfile (label de versão).
COPY tests/ ./tests/
COPY docs/ ./docs/
COPY CHANGELOG.md Dockerfile ./
COPY scripts/coverage.sh ./scripts/coverage.sh

RUN cargo test --all-features 2>&1 | tee /tmp/test-results.txt

# Falha o build se a cobertura (fora de rust/src/ffi*.rs) ficar abaixo do gate.
RUN COVERAGE_OUT_DIR=/coverage scripts/coverage.sh

# ── Stage 3: Final minimal runtime image ──────────────────────────────────────
FROM debian:bookworm-slim AS final

RUN apt-get update && apt-get install -y --no-install-recommends \
    ca-certificates \
    && rm -rf /var/lib/apt/lists/*

COPY --from=builder /build/target/release/libmap2check.a /usr/local/lib/
COPY --from=builder /build/include/map2check.h /usr/local/include/
COPY --from=test /coverage /coverage

LABEL maintainer="herberthb12@gmail.com"
LABEL org.opencontainers.image.title="map2check-library"
LABEL org.opencontainers.image.description="Rust library to support Map2Check program verification tool"
LABEL org.opencontainers.image.licenses="GPL-3.0-only"
LABEL org.opencontainers.image.version="1.1.0-rc1"